JUCS - Journal of Universal Computer Science 9(9): 1137-1167, doi: 10.3217/jucs-009-09-1137
Propositional Interval Neighborhood Temporal Logics
expand article infoValentin Goranko, Angelo Montanari§, Guido Sciavicco§
‡ Rand Afrikaans University, South Africa§ University of Udine, Italy
Open Access
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
interval temporal logic, axiomatic systems, tableau systems