A separation theorem for discrete-time interval temporal logic

DOI10.1080/11663081.2022.2050135OpenAlexW4224211475MaRDI QIDQ5074367FDOQ5074367

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

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 Keywords

interval temporal logicexpanding modalitiesGabbay separation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

Cited In (3)

• Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
• Correction
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time

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)