Pages that link to "Item:Q3985545"
From MaRDI portal
The following pages link to A Modal Logic for Chopping Intervals (Q3985545):
Displaying 50 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Mining approximate interval-based temporal dependencies (Q329410) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Metric temporal logic with durations (Q673880) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Allen-like theory of time for tree-like structures (Q1706167) (← links)
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Dynamic squares (Q1902558) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- Interval-based temporal functional dependencies: specification and verification (Q2251126) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Temporal prepositions and their logic (Q2457655) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- Many-dimensional arrow logics (Q3130047) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- (Q4580322) (← links)
- (Q5028481) (← links)
- A duration calculus with infinite intervals (Q5055877) (← links)
- Логика в онтологии процессов (Q5059698) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)