Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1188 results
Sort by: relevance publication year

Topology and Epistemic Logic

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Rohit Parikh | Lawrence S. Moss | Chris Steinsvold

https://doi.org/10.1007/978-1-4020-5587-4_6 Actions

Spatial Logic + Temporal Logic = ?

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Roman Kontchakov | Agi Kurucz | Frank Wolter | Michael Zakharyaschev

https://doi.org/10.1007/978-1-4020-5587-4_9 Actions

Axioms, Algebras and Topology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Brandon Bennett | Ivo Düntsch

https://doi.org/10.1007/978-1-4020-5587-4_3 Actions

Dynamic Topological Logic

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Philip Kremer | Grigori Mints

https://doi.org/10.1007/978-1-4020-5587-4_10 Actions

Logics for Epistemic Actions: Completeness, Decidability, Expressivity

JOURNAL ARTICLE published 12 June 2023 in Logics

Research funded by Simons Foundation (#586136)

Authors: Alexandru Baltag | Lawrence S. Moss | Sławomir Solecki

https://doi.org/10.3390/logics1020006 Actions

What is Spatial Logic?

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Marco Aiello | Ian Pratt-Hartmann | Johan Van Benthem

https://doi.org/10.1007/978-1-4020-5587-4_1 Actions

Logic of Space-Time and Relativity Theory

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Hajnal Andréka | Judit X. Madarász | István Németi

https://doi.org/10.1007/978-1-4020-5587-4_11 Actions

Epistemic logic

BOOK CHAPTER published 30 October 2009 in Modal Logics and Philosophy

https://doi.org/10.1017/upo9781844654536.014 Actions

Modal Logics of Space

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Johan van Benthem | Guram Bezhanishvili

https://doi.org/10.1007/978-1-4020-5587-4_5 Actions

Discrete Spatial Models

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Michael B. Smyth | Julian Webster

https://doi.org/10.1007/978-1-4020-5587-4_12 Actions

Qualitative Spatial Reasoning Using Constraint Calculi

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Jochen Renz | Bernhard Nebel

https://doi.org/10.1007/978-1-4020-5587-4_4 Actions

First-Order Mereotopology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Ian Pratt-Hartmann

https://doi.org/10.1007/978-1-4020-5587-4_2 Actions

Spatial Reasoning and Ontology: Parts, Wholes, and Locations

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Achille C. Varzi

https://doi.org/10.1007/978-1-4020-5587-4_15 Actions

Epistemic Logic

BOOK CHAPTER published 1 January 2017 in Modal Logics and Philosophy, Second Edition

https://doi.org/10.1515/9780773550759-014 Actions

Locales and Toposes as Spaces

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Steven Vickers

https://doi.org/10.1007/978-1-4020-5587-4_8 Actions

Mathematical Morphology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Isabelle Bloch | Henk Heijmans | Christian Ronse

https://doi.org/10.1007/978-1-4020-5587-4_14 Actions

EPISTEMIC LOGIC WITH QUESTIONS

BOOK CHAPTER published 1 March 2017 in Inferences with Ignorance: Logics of Questions

https://doi.org/10.2307/jj.1544741.5 Actions

Real Algebraic Geometry and Constraint Databases

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Floris Geerts | Bart Kuijpers

https://doi.org/10.1007/978-1-4020-5587-4_13 Actions

IF and Epistemic Action Logic

BOOK CHAPTER published 2006 in The Age of Alternative Logics

Authors: Manuel Rebuschi

https://doi.org/10.1007/978-1-4020-5012-7_17 Actions

Using Substructural Logic

BOOK CHAPTER published 11 September 2002 in An Introduction to Substructural Logics

https://doi.org/10.4324/9780203016244-27 Actions
Feedback: support@crossref.org