Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 9 / Issue 9

available in:   PDF (274 kB) PS (231 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-009-09-1137


Propositional Interval Neighborhood Temporal Logics

Valentin Goranko (Rand Afrikaans University, South Africa)

Angelo Montanari (University of Udine, Italy)

Guido Sciavicco (University of Udine, Italy)

Abstract: Logics for time intervals provide a natural framework for dealing with time in various areas of computer science and artificial intelligence, such as planning, natural language processing, temporal databases, and formal specification. In this paper we focus our attention on propositional interval temporal logics with temporal modalities for neighboring intervals over linear orders. We study the class of propositional neigh-borhood logics (PNL) over two natural semantics, respectively admitting and excluding point-intervals. First, we introduce interval neighborhood frames and we provide representation theorems for them, then, we develop complete axiomatic systems and semantic tableaux for logics in PNL.

Keywords: axiomatic systems, interval temporal logic, tableau systems

Categories: F.4.1, I.2.4