A Modal Logic for Chopping Intervals
From MaRDI portal
Recommendations
Cited in
(62)- A system of dynamic modal logic
- Modal languages and bounded fragments of predicate logic
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Duration calculus: Logical foundations
- Squares in fork arrow logic
- Allen-like theory of time for tree-like structures
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- Which fragments of the interval temporal logic HS are tractable in model checking?
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- Dynamic squares
- Directions in generalized quantifier theory
- The logic of Peirce algebras
- Multi-dimensional semantics for modal logics
- Computational complexity of hybrid interval temporal logics
- Guest editors' preface to special issue on interval temporal logics
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- Interval-based temporal functional dependencies: specification and verification
- On interval modal logic with ``after relation
- A survey on temporal logics for specifying and verifying real-time systems
- An event-based fragment of first-order logic over intervals
- Temporal prepositions and their logic
- A general tableau method for propositional interval temporal logics: theory and implementation
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- A duration calculus with neighborhood modalities.
- Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
- Many-dimensional arrow logics
- Simulating polyadic modal logics by monadic ones
- Mining approximate interval-based temporal dependencies
- Checking interval properties of computations
- Metric propositional neighborhood logic with an equivalence relation
- No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- Relational dual tableaux for interval temporal logics
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
- Derivation rules as anti-axioms in modal logic
- An integrated first-order theory of points and intervals over linear orders. I
- Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
- A duration calculus with infinite intervals
- Логика в онтологии процессов
- A separation theorem for discrete-time interval temporal logic
- On temporal and separation logics
- On a Temporal Logic of Prefixes and Infixes.
- Expressive completeness of separation logic with two variables and no separating conjunction
- A Road Map of Interval Temporal Logics and Duration Calculi
- A Road Map of Interval Temporal Logics and Duration Calculi
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Axiomatization of modal logic squares with distinguished diagonal
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
- Some extensions to propositional mean-value calculus: expressiveness and decidability
- Unary and two-variable interval logics
- Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete
- Metric temporal logic with durations
- Interval temporal logic HS with path quantifiers
- An adequate first order interval logic
- Relational patterns, partiality, and set lifting in modal semantics
- Applications of discrete-time interval-based temporal separation
- An optimal decision procedure for right propositional neighborhood logic
- Algebraic neighbourhood logic
This page was built for publication: A Modal Logic for Chopping Intervals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3985545)
