A sound and complete reified temporal logic

Guoxing, Zhao, Ma, J., Fuxing, S. and Petridis, Miltiadis (2008) A sound and complete reified temporal logic Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. pp. 111-116.

Full text not available from this repository.


There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Item Type: Journal article
Subjects: G000 Computing and Mathematical Sciences > G400 Computing
DOI (a stable link to the resource): 10.1109/SNPD.2008.172
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Computational Intelligence
Related URLs:
Depositing User: editor cmis
Date Deposited: 18 Jan 2012 10:18
Last Modified: 01 Apr 2015 14:50
URI: http://eprints.brighton.ac.uk/id/eprint/9711

Actions (login required)

View Item View Item


Downloads per month over past year