Pages that link to "Item:Q4302859"
From MaRDI portal
The following pages link to A propositional modal logic of time intervals (Q4302859):
Displaying 50 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- Logic of confidence (Q514597) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- The complexity of querying indefinite data about linearly ordered domains (Q676427) (← links)
- Constraining cycle alternations in model checking for interval temporal logic (Q737106) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Developing bounded reasoning (Q1006510) (← links)
- Temporal logics in AI: semantical and ontological considerations (Q1096384) (← links)
- A non-reified temporal logic (Q1190791) (← 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)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Model checking interval temporal logics with regular expressions (Q2182727) (← 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)
- The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- On interval modal logic with ``after'' relation (Q2364466) (← links)
- Logic of simultaneity (Q2390846) (← 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)
- Unified temporal logic (Q2661764) (← links)
- A proof system for unified temporal logic (Q2686105) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Selected Temporal Logic Systems: An Attempt at Engineering Evaluation (Q2814121) (← links)
- Why Systems of Temporal Logic Are Sometimes (Un)useful? (Q2814135) (← links)
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
- Two-sorted Point-Interval Temporal Logics (Q2825405) (← links)
- Dyck Algebras, Interval Temporal Logic, and Posets of Intervals (Q2827488) (← links)
- Complexity Hierarchies beyond Elementary (Q2828216) (← links)
- Between the Event Calculus and Finite State Temporality (Q2835048) (← links)
