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...
| Publicado en: | Synthese Vol. 192; no. 7; pp. 2293 - 2310 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jul2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |