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

DOI10.1007/S11229-013-0365-2zbMATH Open1357.03068OpenAlexW1990522314MaRDI QIDQ514577FDOQ514577

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

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

zbMATH Keywords

axiomatizabilitycausality relationsfirst-order spatio-temporal logiclogic and relativity

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Investigations of isotropy and homogeneity of spacetime in first-order logic
• Title not available (Why is that?)
• 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)