Modal logics of domains on the real plane
From MaRDI portal
Publication:794634
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
polygonsmodal logicsKripke semanticsdomains bounded by simple differentiable curvestemporal ordering of domains in two- dimensional Minkowski spacetime
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)