A separation theorem for discrete-time interval temporal logic

DOI10.1080/11663081.2022.2050135MaRDI QIDQ5074367zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Separation -- past, present, and future
• Correction
• Anchored LTL separation
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
• scientific article; zbMATH DE number 1189099

Cites work

• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• scientific article; zbMATH DE number 1424033 (Why is no real title available?)
• scientific article; zbMATH DE number 1444743 (Why is no real title available?)
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• 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
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
• A calculus of durations
• A proof of the Krohn--Rhodes Decomposition Theorem
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• Alternating-time temporal logics with linear past
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• An optimal decision procedure for right propositional neighborhood logic
• Checking interval properties of computations
• Decidability of model checking multi-agent systems against a class of EHS specifications
• Derivatives of Regular Expressions
• Duration calculus. A formal approach to real-time systems.
• Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
• Interval vs. point temporal logic model checking. An expressiveness comparison
• Maintaining knowledge about temporal intervals
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
• Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
• Propositional dynamic logic of regular programs
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Which fragments of the interval temporal logic HS are tractable in model checking?
• ω-Automata

Cited in

(6)

• Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
• Anchored LTL separation
• Separation -- past, present, and future
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
• Correction
• Revisiting separation: algorithms and complexity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5074367)