✦ LIBER ✦

A spatial modal logic with a location interpretation

✍ Scribed by Norihiro Kamide

Publisher: John Wiley and Sons
Year: 2005
Tongue: English
Weight: 141 KB
Volume: 51
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200510001

No coin nor oath required. For personal study only.

✦ Synopsis

A spatial modal logic (SML) 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 (or location) 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.

📜 SIMILAR VOLUMES

A modal interpretation of three-valued l

A modal interpretation of three-valued logic

✍ Peter W. Woodruff 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 364 KB

A multiprocess network logic with tempor

A multiprocess network logic with temporal and spatial modalities

✍ John Reif; A.P. Sistla 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 841 KB

A Companion to Philosophical Logic || Mo

A Companion to Philosophical Logic || Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 121 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Interpretations of various uncertainty t

Interpretations of various uncertainty theories using models of modal logic: A summary

✍ Germano Resconi; George J. Klir; David Harmanec; Ute St. Clair 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 475 KB

Decidable and undecidable logics with a

Decidable and undecidable logics with a binary modality

✍ ágnes Kurucz; István Németi; Ildikó Sain; András Simon 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 963 KB

Paraconsistent logic from a modal viewpo

Paraconsistent logic from a modal viewpoint

✍ Jean-Yves Béziau 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 92 KB

In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity has a paraconsistent behavior. We examine this operator on the one hand in the modal logic S5 and on the other hand in some new four-valued modal logics.