Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
From MaRDI portal
(Redirected from Publication:5028481)
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
- scientific article; zbMATH DE number 1696444 (Why is no real title available?)
- scientific article; zbMATH DE number 53101 (Why is no real title available?)
- scientific article; zbMATH DE number 6131597 (Why is no real title available?)
- scientific article; zbMATH DE number 5046366 (Why is no real title available?)
- A Modal Logic for Chopping Intervals
- A propositional modal logic of time intervals
- Decidability of model checking multi-agent systems against a class of EHS specifications
- Expressiveness and completeness of an interval tense logic
- Language in action
- Modal Logics of Regions and Minkowski Spacetime
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Tableaux for logics of subinterval structures over dense orderings
- Temporal prepositions and their logic
- The undecidability of the logic of subintervals
- Two variable first-order logic over ordered domains
Cited in
(4)
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)
