Imperial College London
Portrait Picture

Emeritus ProfessorIanHodkinson

Faculty of Engineering, Department of Computing

Emeritus Professor of Logic and Computation
 
 
 
//

Contact

 

i.hodkinson Website

 
 
//

Location

 

noneHuxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Hodkinson:2013:logcom/ext056,
author = {Hodkinson, I},
doi = {logcom/ext056},
journal = {Journal of Logic and Computation},
pages = {1071--1110},
title = {On the Priorean temporal logic with 'around now' over the real line},
url = {http://dx.doi.org/10.1093/logcom/ext056},
volume = {24},
year = {2013}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - We consider the temporal language with the Priorean operators G and H expressing that a formula is true at all future times and all past times, plus an operator  expressing that a formula is true throughout some open interval containing the evaluation time (i.e. it is true ‘around now’). We show that the logic of time based on the real numbers in this language is finitely axiomatizable, answering an implicit question of Shehtman (1993). We also show that the logic has PSPACE-complete complexity, but is not Kripke complete and has no strongly complete axiomatization.
AU  - Hodkinson,I
DO  - logcom/ext056
EP  - 1110
PY  - 2013///
SN  - 1465-363X
SP  - 1071
TI  - On the Priorean temporal logic with 'around now' over the real line
T2  - Journal of Logic and Computation
UR  - http://dx.doi.org/10.1093/logcom/ext056
UR  - http://hdl.handle.net/10044/1/24005
VL  - 24
ER  -
Download