4 found
Order:
  1. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  98
    Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  4
    Definability and Decidability of Binary Predicates for Time Granularity.Massimo Franceschet, Angelo Montanari, Adriano Peron & Guido Sciavicco - 2006 - Journal of Applied Logic 4 (2):168-191.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  2
    On Coarser Interval Temporal Logics.Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco & Ionel Eduard Stan - 2019 - Artificial Intelligence 266:1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark