On the axiomatizability of some first-order spatio-temporal theories

DOI10.1007/S11229-013-0365-2MaRDI QIDQ514577zbMATH OpenOpenAlexFDO

Authors Sándor Vályi

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

zbMATH Keywords

axiomatizabilitycausality relationsfirst-order spatio-temporal logiclogic and relativity

Mathematics Subject Classification ID

Temporal logic (03B44) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 3964229
• Logical axiomatizations of space-time. Samples from the literature
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• scientific article; zbMATH DE number 5790393
• Arithmetical axiomatization of first-order temporal logic
• Axiomatising first-order temporal logic: Until and since over linear time
• A complete axiomatic characterization of first-order temporal logic of linear time
• Modal and temporal logics for abstract space-time structures
• Axiomatizing the monodic fragment of first-order temporal logic
• Axiomatization of special relativity in first order logic

Cites work

• scientific article; zbMATH DE number 3932379 (Why is no real title available?)
• scientific article; zbMATH DE number 4058844 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 4122729 (Why is no real title available?)
• scientific article; zbMATH DE number 2086598 (Why is no real title available?)
• scientific article; zbMATH DE number 2196602 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• A decidable temporal logic of parallelism
• A multiprocess network logic with temporal and spatial modalities
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Axiomatising first-order temporal logic: Until and since over linear time
• Decidability and incompleteness results for first-order temporal logics of linear time
• Decidable fragments of first-order temporal logics
• Determiners and logic
• Diodorean modality in Minkowski spacetime
• Logical analysis of relativity theories
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Modal logics of domains on the real plane
• Modal logics of succession for 2-dimensional integral spacetime
• Multi-dimensional modal logic
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• On the Products of Linear Modal Logics
• On the strength of temporal proofs
• Orthogonality and spacetime geometry
• Synchronous, asynchronous, and causally ordered communication
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Twin paradox and the logical foundation of relativity theory
• Two-dimensional modal logic
• Two-dimensional modal logic
• Using temporal logics to express search control knowledge for planning
• Verisimilitude Redefined

Cited in

(3)

• Investigations of isotropy and homogeneity of spacetime in first-order logic
• scientific article; zbMATH DE number 3964229 (Why is no real title available?)
• 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

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