Cover Image
QR Code

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

Spatio-temporal logic is a variant of branching temporal logic where one of the so-called causal relations on spacetime plays the role of a time flow. Allowing only rational numbers as space and time co-ordinates, we prove that a first-order spatio-temporal theory over this flow is recursively enume...

Full description

Published in:Synthese Vol. 192; no. 7; pp. 2293 - 2310
Main Author: Vályi, Sándor
Format: Article
Published: Springer Nature Jul2015
Subjects:
Logic
Relativity (Physics)
First-order logic
Mathematical logic
Causality (Physics)
Online Access:View this record in EBSCOhost