Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
From MaRDI portal
Publication:5028481
Authors: Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala 
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2006.04652
Recommendations
- Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
- Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
- Which fragments of the interval temporal logic HS are tractable in model checking?
- An in-depth investigation of interval temporal logic model checking with regular expressions
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
Cites Work
- Expressiveness and completeness of an interval tense logic
- Temporal prepositions and their logic
- Tableaux for logics of subinterval structures over dense orderings
- A propositional modal logic of time intervals
- Title not available (Why is that?)
- The undecidability of the logic of subintervals
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Title not available (Why is that?)
- Two variable first-order logic over ordered domains
- Title not available (Why is that?)
- A Modal Logic for Chopping Intervals
- Decidability of model checking multi-agent systems against a class of EHS specifications
- Modal Logics of Regions and Minkowski Spacetime
- Language in action
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028481)
