Two-sorted Point-Interval Temporal Logics

Philippe Balbiani, Valentin Goranko, Guido Sciavicco

    Research output: Contribution to journalConference articleResearchpeer-review

    Abstract

    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.
    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Volume278
    Issue number1
    Pages (from-to)31-45
    ISSN1571-0661
    DOIs
    Publication statusPublished - 2011
    EventWorkshop on Methods for Modalities and the Workshop on Logical Aspects of Multi-Agent Systems 2011 - Osuna, Spain
    Duration: 10 Nov 201112 Nov 2011
    Conference number: 7 & 4

    Workshop

    WorkshopWorkshop on Methods for Modalities and the Workshop on Logical Aspects of Multi-Agent Systems 2011
    Number7 & 4
    CountrySpain
    CityOsuna
    Period10/11/201112/11/2011

    Keywords

    • Complexity
    • Point and interval temporal logics
    • Decidability

    Cite this