Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 58872 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

A Grim Semantics For Logics of Belief

JOURNAL ARTICLE published February 2008 in Journal of Philosophical Logic

Authors: Christopher Steinsvold

https://doi.org/10.1007/s10992-007-9055-1 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

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

Some Formal Semantics for Epistemic Modesty

JOURNAL ARTICLE published 8 February 2020 in Logic and Logical Philosophy

Authors: Christopher Steinsvold

https://doi.org/10.12775/llp.2020.002 Actions

Being Wrong: Logics for False Belief

JOURNAL ARTICLE published 1 July 2011 in Notre Dame Journal of Formal Logic

Authors: Christopher Steinsvold

https://doi.org/10.1215/00294527-1435438 Actions

A Note on Logics of Ignorance and Borders

JOURNAL ARTICLE published 1 October 2008 in Notre Dame Journal of Formal Logic

Authors: Christopher Steinsvold

https://doi.org/10.1215/00294527-2008-018 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

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

Modal Deduction with Applications in Epistemic and Temporal Logics

BOOK CHAPTER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: Luis Farinas del Cerro | Andreas Herzig

https://doi.org/10.1093/oso/9780198537915.003.0008 Actions

Modal Deduction with Applications in Epistemic and Temporal Logics

BOOK CHAPTER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: Luis Farinas del Cerro | Andreas Herzig

https://doi.org/10.1093/oso/9780198534532.003.0008 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

Epistemic Logic

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

https://doi.org/10.1515/9780773550759-014 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

15 Combining modal logics

BOOK CHAPTER published 2007 in Handbook of Modal Logic

Authors: Agi Kurucz

https://doi.org/10.1016/s1570-2464(07)80018-8 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

Handbook of Spatial Logics

BOOK published 2007

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

https://doi.org/10.1007/978-1-4020-5587-4 Actions
Feedback: support@crossref.org