Handbook of Spatial Logics

Handbook of Spatial Logics

A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theo...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Aiello, Marco (Επιμελητής έκδοσης), Pratt-Hartmann, Ian (Επιμελητής έκδοσης), Benthem, Johan Van (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2007.
Θέματα:	Philosophy. Philosophy and science. Mathematical logic. Artificial intelligence. Geometry. Topology. Philosophy of Science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics).
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

A New Perspective on Nonmonotonic Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2016)

Paraconsistency: Logic and Applications
Έκδοση: (2013)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

Dynamic Epistemic Logic
ανά: Ditmarsch, Hans van, κ.ά.
Έκδοση: (2007)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
Έκδοση: (2007)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016)

Conditionals and Modularity in General Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2011)

Springer Handbook of Model-Based Science
Έκδοση: (2017)

Leśniewski's Systems of Logic and Foundations of Mathematics
ανά: Urbaniak, Rafal
Έκδοση: (2014)

Strict Finitism and the Logic of Mathematical Applications
ανά: Ye, Feng
Έκδοση: (2011)

Belief Revision in Non-Classical Logics
ανά: Ribeiro, Márcio Moretto
Έκδοση: (2013)

Algorithms in Invariant Theory
ανά: Sturmfels, Bernd
Έκδοση: (2008)

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /
ανά: Marquis, Jean-Pierre
Έκδοση: (2009)

Reactive Kripke Semantics
ανά: Gabbay, Dov M.
Έκδοση: (2013)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2010)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
ανά: Kaiser, Łukasz
Έκδοση: (2011)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
Έκδοση: (2008)

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
Έκδοση: (2008)

Pluralism in Mathematics: A New Position in Philosophy of Mathematics
ανά: Friend, Michèle
Έκδοση: (2014)

Handbook of Philosophical Logic
Έκδοση: (2007)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Έκδοση: (2005)

A Mathematical Prelude to the Philosophy of Mathematics
ανά: Pollard, Stephen
Έκδοση: (2014)

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ανά: Geldsetzer, Lutz, κ.ά.
Έκδοση: (2013)

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings /
Έκδοση: (2011)

Hybrid Logic and its Proof-Theory
ανά: Braüner, Torben
Έκδοση: (2011)

Proof, Computation and Agency Logic at the Crossroads /
Έκδοση: (2011)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Έκδοση: (2005)

Recent Developments in the Philosophy of Science: EPSA13 Helsinki
Έκδοση: (2015)

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Έκδοση: (2012)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Έκδοση: (2007)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
Έκδοση: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
Έκδοση: (2014)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
Έκδοση: (2007)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

The Selected Correspondence of L.E.J. Brouwer
ανά: Dalen, Dirk van
Έκδοση: (2011)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
ανά: Carnielli, Walter, κ.ά.
Έκδοση: (2008)

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
Έκδοση: (2009)

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
Έκδοση: (2004)

Scientific Objectivity and Its Contexts
ανά: Agazzi, Evandro
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών