A separation theorem for discrete-time interval temporal logic

DOI10.1080/11663081.2022.2050135OpenAlexW4224211475MaRDI QIDQ5074367

Dimitar P. Guelev, Ben Moszkowski

Publication date: 9 May 2022

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2022.2050135

zbMATH Keywords

interval temporal logicexpanding modalitiesGabbay separation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Maintaining knowledge about temporal intervals
• Checking interval properties of computations
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• An optimal decision procedure for right propositional neighborhood logic
• A calculus of durations
• Propositional dynamic logic of regular programs
• Duration calculus. A formal approach to real-time systems.
• A proof of the Krohn--Rhodes Decomposition Theorem
• Which fragments of the interval temporal logic HS are tractable in model checking?
• Alternating-time temporal logics with linear past
• A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
• A Modal Logic for Chopping Intervals
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• ω-Automata
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• Interval vs. Point Temporal Logic Model Checking
• Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
• Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• Derivatives of Regular Expressions
• A Road Map of Interval Temporal Logics and Duration Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A separation theorem for discrete-time interval temporal logic