BibSonomy ::  author ::

bookmarks

publications

(82)

• Handbook of Spatial Logics
  Marco Aiello and Ian Pratt-Hartmann and Johan van Benthem (eds.). (2007)
  to dblp by dblp on 2008-11-10 00:00:00
  | URL | BibTeX  
• Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
  Achille C. Varzi Handbook of Spatial Logics 945-1038 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Dynamic Topological Logic.
  Philip Kremer and Grigori Mints Handbook of Spatial Logics 565-606 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Logical Theories for Fragments of Elementary Geometry.
  Philippe Balbiani and Valentin Goranko and Ruaan Kellerman and Dimiter Vakarelov Handbook of Spatial Logics 343-428 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Locales and Toposes as Spaces.
  Steven Vickers Handbook of Spatial Logics 429-496 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Mathematical Morphology.
  Isabelle Bloch and Henk J. A. M. Heijmans and Christian Ronse Handbook of Spatial Logics 857-944 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• First-Order Mereotopology.
  Ian Pratt-Hartmann Handbook of Spatial Logics 13-97 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• What is Spatial Logic?
  Marco Aiello and Ian Pratt-Hartmann and Johan van Benthem Handbook of Spatial Logics 1-11 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Discrete Spatial Models.
  Michael B. Smyth and Julian Webster Handbook of Spatial Logics 713-798 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Modal Logics of Space.
  Johan van Benthem and Guram Bezhanishvili Handbook of Spatial Logics 217-298 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Qualitative Spatial Reasoning Using Constraint Calculi.
  Jochen Renz and Bernhard Nebel Handbook of Spatial Logics 161-215 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Real Algebraic Geometry and Constraint Databases.
  Floris Geerts and Bart Kuijpers Handbook of Spatial Logics 799-856 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Spatial Logic + Temporal Logic = ?.
  Roman Kontchakov and Agi Kurucz and Frank Wolter and Michael Zakharyaschev Handbook of Spatial Logics 497-564 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Topology and Epistemic Logic.
  Rohit Parikh and Lawrence S. Moss and Chris Steinsvold Handbook of Spatial Logics 299-341 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Logic of Space-Time and Relativity Theory.
  Hajnal Andréka and Judit X. Madarász and István Németi Handbook of Spatial Logics 607-711 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Axioms, Algebras and Topology.
  Brandon Bennett and Ivo Düntsch Handbook of Spatial Logics 99-159 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Logic and Reasoning: do the facts matter?
  Johan van Benthem Studia Logica 88 67-84 (2008)
  to dblp by dblp on 2008-08-08 00:00:00
  | URL | BibTeX  
• Merging frameworks for interaction: DEL and ETL.
  Johan van Benthem and Jelle Gerbrandy and Eric Pacuit TARK 72-81 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Back and Forth Between Modal Logic and Classical Logic.
  Hajnal Andréka and Johan van Benthem and István Németi Logic Journal of the IGPL 3 685-720 (1995)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Handbook of Logic and Language
  Johan van Benthem and Alice ter Meulen (eds.). (1997)
  to 2000 book nlp by nlp and 1 other person on 2008-03-17 11:27:54
  | BibTeX