## Two-sorted Point-Interval Temporal Logics

Publication: Research - peer-review › Conference article – Annual report year: 2011

### Standard

**Two-sorted Point-Interval Temporal Logics.** / Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido.

Publication: Research - peer-review › Conference article – Annual report year: 2011

### Harvard

*Electronic Notes in Theoretical Computer Science*, vol 278, no. 1, pp. 31-45. DOI: 10.1016/j.entcs.2011.10.004

### APA

*Two-sorted Point-Interval Temporal Logics*.

*Electronic Notes in Theoretical Computer Science*,

*278*(1), 31-45. DOI: 10.1016/j.entcs.2011.10.004

### CBE

### MLA

*Electronic Notes in Theoretical Computer Science*. 2011, 278(1). 31-45. Available: 10.1016/j.entcs.2011.10.004

### Vancouver

### Author

### Bibtex

}

### RIS

TY - CONF

T1 - Two-sorted Point-Interval Temporal Logics

AU - Balbiani,Philippe

AU - Goranko,Valentin

AU - Sciavicco,Guido

PY - 2011

Y1 - 2011

N2 - There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as particular, duration-less intervals. Here we develop explicitly two-sorted point-interval temporal logical framework whereby time instants (points) and time periods (intervals) are considered on a par, and the perspective can shift between them within the formal discourse. We focus on fragments involving only modal operators that correspond to the inter-sort relations between points and intervals. We analyze their expressiveness, comparative to interval-based logics, and the complexity of their satisfiability problems. In particular, we identify some previously not studied and potentially interesting interval logics. © 2011 Elsevier B.V.

AB - There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as particular, duration-less intervals. Here we develop explicitly two-sorted point-interval temporal logical framework whereby time instants (points) and time periods (intervals) are considered on a par, and the perspective can shift between them within the formal discourse. We focus on fragments involving only modal operators that correspond to the inter-sort relations between points and intervals. We analyze their expressiveness, comparative to interval-based logics, and the complexity of their satisfiability problems. In particular, we identify some previously not studied and potentially interesting interval logics. © 2011 Elsevier B.V.

KW - Complexity

KW - Point and interval temporal logics

KW - Decidability

U2 - 10.1016/j.entcs.2011.10.004

DO - 10.1016/j.entcs.2011.10.004

M3 - Conference article

VL - 278

SP - 31

EP - 45

JO - Electronic Notes in Theoretical Computer Science

T2 - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 1

ER -