Recommendations
Cites work
- scientific article; zbMATH DE number 3172309 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 3614757 (Why is no real title available?)
- A general filtration method for modal logics
- An ascending chain of S4 logics
- An incomplete logic containing S4
- Decidability for branching time
- Diodorean modality in Minkowski spacetime
- Logics containing K4. Part I
- Modal logics with linear alternative relations
- Tense systems with discrete moments of time. I
- The Logics Containing S 4.3
- The algebra of topology
- Two-dimensional modal logic
Cited in
(19)- A natural deduction calculus for \textbf{S4.2}
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
- scientific article; zbMATH DE number 5640557 (Why is no real title available?)
- On modal logics of model-theoretic relations
- Experiments in theorem proving for topological hybrid logic
- scientific article; zbMATH DE number 6863647 (Why is no real title available?)
- An axiomatization of the \(d\)-logic of planar polygons
- Logic for physical space. From antiquity to present day
- Modal logics of succession for 2-dimensional integral spacetime
- Ontologies for plane, polygonal mereotopology
- 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. II
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
- Modal Logics of Regions and Minkowski Spacetime
- The modal logic of \({\beta(\mathbb{N})}\)
- Mathematical modal logic: A view of its evolution
- scientific article; zbMATH DE number 2196602 (Why is no real title available?)
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)
