Modal logics of domains on the real plane

DOI10.1007/BF01418760zbMath0541.03011OpenAlexW1965449504MaRDI QIDQ794634

Valentin Shehtman

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01418760

zbMATH Keywords

Kripke semanticsmodal logicspolygonsdomains bounded by simple differentiable curvestemporal ordering of domains in two- dimensional Minkowski spacetime

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Special relativity (83A05)

Related Items (11)

Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III ⋮ On modal logics of model-theoretic relations ⋮ Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II ⋮ Ontologies for plane, polygonal mereotopology ⋮ Logic for physical space. From antiquity to present day ⋮ Mathematical modal logic: A view of its evolution ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ The modal logic of \({\beta(\mathbb{N})}\) ⋮ Experiments in Theorem Proving for Topological Hybrid Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diodorean modality in Minkowski spacetime
• Decidability for branching time
• Tense systems with discrete moments of time. I
• A general filtration method for modal logics
• The algebra of topology
• An ascending chain of S4 logics
• Logics containing K4. Part I
• An incomplete logic containing S4
• The Logics Containing S 4.3
• Modal logics with linear alternative relations
• Two-dimensional modal logic

This page was built for publication: Modal logics of domains on the real plane