A Modal Logic for Chopping Intervals
From MaRDI portal
Publication:3985545
DOI10.1093/logcom/1.4.453zbMath0744.03022OpenAlexW2092486735MaRDI QIDQ3985545
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
Related Items
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction, Simulating polyadic modal logics by monadic ones, Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\), No Need Knowing Numerous Neighbours, A duration calculus with neighborhood modalities, Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras, A duration calculus with infinite intervals, Логика в онтологии процессов, Derivation rules as anti-axioms in modal logic, Mining approximate interval-based temporal dependencies, Checking interval properties of computations, Metric propositional neighborhood logic with an equivalence relation, Dynamic squares, Directions in generalized quantifier theory, A separation theorem for discrete-time interval temporal logic, The logic of Peirce algebras, Duration calculus: Logical foundations, An optimal decision procedure for right propositional neighborhood logic, Multi-dimensional semantics for modal logics, Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers, A survey on temporal logics for specifying and verifying real-time systems, \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes, Squares in fork arrow logic, An event-based fragment of first-order logic over intervals, Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions, 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, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders, Axiomatization of modal logic squares with distinguished diagonal, Unnamed Item, Algebraic neighbourhood logic, Which fragments of the interval temporal logic HS are tractable in model checking?, Temporal prepositions and their logic, Metric temporal logic with durations, Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders, 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, Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy, A general tableau method for propositional interval temporal logics: theory and implementation, Unnamed Item, On Temporal and Separation Logics, Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition, A system of dynamic modal logic, Modal languages and bounded fragments of predicate logic, On a Temporal Logic of Prefixes and Infixes., PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic, Relational dual tableaux for interval temporal logics ★, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, Computational complexity of hybrid interval temporal logics, Many-dimensional arrow logics, Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
