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

Abstract

• Spatio-temporal logic: variant of temporal logic time flow: one of the so-called causal relations on spacetime • A first-order spatio-temporal theory over the rational order is recursively enumerable if and only if the dimension of spacetime does not exceed 2 • In the case of real co-ordinates: even dimension 2 does not permit recursive enumerability 
DOI: 10.1007/s11229-013-0365-2

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics