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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=109574772&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 109574772 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jul2015 vid: 192 iid: 7 pid: 237 pub: Springer Nature artinfo: ui: 109574772 10.1007/s11229-013-0365-2 ppf: 2293 ppct: 17 formats: fmt: @attributes: type: P size: 484KB tig: atl: On the axiomatizability of some first-order spatio-temporal theories. aug: au: Vályi, Sándor affil: Institute of Mathematics and Informatics, College of Nyíregyháza, Nyíregyháza 4400 Hungary su: Logic Relativity (Physics) First-order logic Mathematical logic Causality (Physics) sug: subj: Logic Relativity (Physics) First-order logic Mathematical logic Causality (Physics) keyword: Axiomatizability Causality relations First-order spatio-temporal logic Logic and relativity ab: 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 enumerable if and only if the dimension of spacetime does not exceed 2. The situation is somewhat different compared to the case of real co-ordinates, because we establish that even dimension 2 does not permit recursive enumerability in this case. The proof of the result on rational spacetime involves a more deeper portion of spacetime geometry than the corresponding, more evident result for the real co-ordinates. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2015. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|