On the axiomatizability of some first-order spatio-temporal theories
From MaRDI portal
Publication:514577
DOI10.1007/s11229-013-0365-2zbMath1357.03068OpenAlexW1990522314MaRDI QIDQ514577
Publication date: 9 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-013-0365-2
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal logics of domains on the real plane
- On the strength of temporal proofs
- A multiprocess network logic with temporal and spatial modalities
- Orthogonality and spacetime geometry
- A decidable temporal logic of parallelism
- Diodorean modality in Minkowski spacetime
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Multi-dimensional modal logic
- Decidable fragments of first-order temporal logics
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning
- Using temporal logics to express search control knowledge for planning
- Alexandrov-Zeeman type theorems expressed in terms of definability
- Twin paradox and the logical foundation of relativity theory
- Axiomatising first-order temporal logic: Until and since over linear time
- Determiners and logic
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Verisimilitude Redefined
- Decidability and incompleteness results for first-order temporal logics of linear time
- On the Products of Linear Modal Logics
- Synchronous, asynchronous, and causally ordered communication
- Two-dimensional modal logic
- Two-dimensional modal logic
- Modal logics of succession for 2-dimensional integral spacetime
- A note on the modal and temporal logics for \(n\)-dimensional spacetime
This page was built for publication: On the axiomatizability of some first-order spatio-temporal theories
