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 neighborhood logics (PNL) over two natural semantics, respectively admitting and excluing 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.
Propositional Interval Neighborhood Temporal Logics
SCIAVICCO, Guido
2003
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 neighborhood logics (PNL) over two natural semantics, respectively admitting and excluing 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.I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
