On the axiomatizability of some first-order spatio-temporal theories
type: Item
instance of: scholarly article
title: On the axiomatizability of some first-order spatio-temporal theories
zbMATH Open document ID: 1357.03068
author: Sándor Vályi
published in: Synthese
publication date: 2017-03-09T00:00:00Z
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6693212
zbMATH Keywords: logic and relativity
zbMATH Keywords: first-order spatio-temporal logic
zbMATH Keywords: axiomatizability
zbMATH Keywords: causality relations
MaRDI profile type: Publication
full work available at URL: s11229-013-0365-2
OpenAlex ID: W1990522314
cites work: Q3367316
cites work: On the strength of temporal proofs
cites work: Using temporal logics to express search control knowledge for planning
cites work: Q4737132
cites work: Modal Logics for Parallelism, Orthogonality, and Affine Geometries
cites work: Multi-dimensional modal logic as a framework for spatio-temporal reasoning
cites work: Synchronous, asynchronous, and causally ordered communication
cites work: Q3704886
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
cites work: Diodorean modality in Minkowski spacetime
cites work: Orthogonality and spacetime geometry
cites work: Q4735709
cites work: Decidable fragments of first-order temporal logics
cites work: Q5604443
cites work: Twin paradox and the logical foundation of relativity theory
cites work: Modal logics of domains on the real plane
cites work: Q4002642
cites work: Multi-dimensional modal logic
cites work: Q3793718
cites work: Decidability and incompleteness results for first-order temporal logics of linear time
cites work: Verisimilitude Redefined
cites work: Alexandrov-Zeeman type theorems expressed in terms of definability
cites work: A note on the modal and temporal logics for \(n\)-dimensional spacetime
cites work: Modal logics of succession for 2-dimensional integral spacetime
cites work: A multiprocess network logic with temporal and spatial modalities
cites work: Axiomatising first-order temporal logic: Until and since over linear time
cites work: A decidable temporal logic of parallelism
cites work: On the Products of Linear Modal Logics
cites work: Two-dimensional modal logic
cites work: Q5311049
cites work: Determiners and logic
DOI: 10.1007/S11229-013-0365-2
Recommended article: Q3731907
Recommended article: Q5482812
Recommended article: A note on the modal and temporal logics for \(n\)-dimensional spacetime
Recommended article: Q4929426
Recommended article: Arithmetical axiomatization of first-order temporal logic
Recommended article: Axiomatising first-order temporal logic: Until and since over linear time
Recommended article: A complete axiomatic characterization of first-order temporal logic of linear time
Recommended article: Modal and temporal logics for abstract space-time structures
Recommended article: Axiomatizing the monodic fragment of first-order temporal logic
Recommended article: Axiomatization of special relativity in first order logic
description: scientific article; zbMATH DE number 6693212