A Modal Logic for Chopping Intervals

DOI10.1093/LOGCOM/1.4.453zbMATH Open0744.03022OpenAlexW2092486735MaRDI QIDQ3985545FDOQ3985545

Authors: Yde Venema 

Publication date: 27 June 1992

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.4.453

Recommendations

• On interval modal logic with ``after relation
• Expressiveness and completeness of an interval tense logic
• Modal logic of time division
• A propositional modal logic of time intervals

zbMATH Keywords

completenessnatural deductiontense logicsoundnessinterval logiccorrespondence theorychopping point

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (58)

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

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)