Modal logics of domains on the real plane

DOI10.1007/BF01418760zbMATH Open0541.03011OpenAlexW1965449504MaRDI QIDQ794634FDOQ794634

Authors: 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

Recommendations

• scientific article; zbMATH DE number 5640557
• Modal Logics of Regions and Minkowski Spacetime
• Modal logics of some geometrical structures
• scientific article; zbMATH DE number 2196602
• A note on the modal and temporal logics for \(n\)-dimensional spacetime

zbMATH Keywords

polygonsmodal logicsKripke semanticsdomains 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)

Cites Work

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

Cited In (18)

• The modal logic of \({\beta(\mathbb{N})}\)
• A natural deduction calculus for \textbf{S4.2}
• Title not available (Why is that?)
• Ontologies for plane, polygonal mereotopology
• On modal logics of model-theoretic relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
• Mathematical modal logic: A view of its evolution
• Modal Logics of Regions and Minkowski Spacetime
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• Title not available (Why is that?)
• Logic for physical space. From antiquity to present day
• Experiments in theorem proving for topological hybrid logic
• Axiomatizing relativistic dynamics using formal thought experiments
• On the axiomatizability of some first-order spatio-temporal theories
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
• Modal logics of succession for 2-dimensional integral spacetime

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q794634)