scientific article; zbMATH DE number 2196602

Valentin Shehtman, Ilya B. Shapirovsky

Publication date: 22 August 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

modal logic finite model property Minkowski spacetime axiomatization p-morphism many-dimensional modal logics relativistic temporal logic selective filtration

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Special relativity (83A05) Temporal logic (03B44)

Related Items (15)

Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III ⋮ On interval modal logic with ``after relation ⋮ Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II ⋮ Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings ⋮ Logic for physical space. From antiquity to present day ⋮ A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Fooling around with tenses ⋮ Modal and temporal logics for abstract space-time structures ⋮ Modal logics of some geometrical structures ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Dyck Algebras, Interval Temporal Logic, and Posets of Intervals ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions ⋮ Temporal Logic of Minkowski Spacetime

This page was built for publication: