Mathematical Logic Quarterly 51 (4):331 (2005)

Abstract
A spatial modal logic is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space interpretation is obtained for SML. The finite model property with respect to the semantics for SML and the cut-elimination theorem for a modified subsystem of SML are also presented
Keywords Kripke semantics  spatial logic  Modal logic
Categories (categorize this paper)
DOI 10.1002/malq.200510001
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,100
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17 (1):135-166.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
Some Connections Between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
An Incomplete Relevant Modal Logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.
Is Modal Logic Logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.

Analytics

Added to PP index
2013-12-01

Total views
12 ( #714,303 of 2,324,545 )

Recent downloads (6 months)
5 ( #177,812 of 2,324,545 )

How can I increase my downloads?

Downloads

My notes