A propositional modal logic of time intervals
From MaRDI portal
Publication:4302859
DOI10.1145/115234.115351zbMath0799.68175OpenAlexW1978654873MaRDI QIDQ4302859
Yoav Shoham, Joseph Y. Halpern
Publication date: 21 August 1994
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/115234.115351
modal logictemporal logictemporal reasoningaxiomatizabilitytime intervalscomplexity of proof proceduresrepresentation languages
Related Items (95)
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Temporal Traveling Salesman Problem – in a Logic- and Graph Theory-Based Depiction ⋮ Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ On interval modal logic with ``after relation ⋮ 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 ⋮ Back from the future ⋮ Temporal logics in AI: semantical and ontological considerations ⋮ Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings ⋮ A History of Until ⋮ Checking interval properties of computations ⋮ Logic of simultaneity ⋮ Unified temporal logic ⋮ Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ An optimal decision procedure for right propositional neighborhood logic ⋮ Model checking interval temporal logics with regular expressions ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers ⋮ Monitoring first-order interval logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ A proof system for unified temporal logic ⋮ Catoids and modal convolution algebras ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ An event-based fragment of first-order logic over intervals ⋮ Automated deduction in a graphical temporal logic ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ The complexity of temporal logic over the reals ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algebraic neighbourhood logic ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Temporal prepositions and their logic ⋮ Interval logics and their decision procedures. I: An interval logic ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ The complexity of querying indefinite data about linearly ordered domains ⋮ A non-reified temporal logic ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ Logic of confidence ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ The dark side of interval temporal logic: marking the undecidability border ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders ⋮ Temporal agent programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ A real-time interval logic and its decision procedure ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Constraining cycle alternations in model checking for interval temporal logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Developing bounded reasoning ⋮ Selected Temporal Logic Systems: An Attempt at Engineering Evaluation ⋮ Why Systems of Temporal Logic Are Sometimes (Un)useful? ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments ⋮ Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic ⋮ Two-sorted Point-Interval Temporal Logics ⋮ Reactive synthesis from interval temporal logic specifications ⋮ Dyck Algebras, Interval Temporal Logic, and Posets of Intervals ⋮ PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic ⋮ A Correspondence between Temporal Description Logics ⋮ Complexity Hierarchies beyond Elementary ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings ⋮ Relational dual tableaux for interval temporal logics ★ ⋮ Between the Event Calculus and Finite State Temporality ⋮ Prompt Interval Temporal Logic ⋮ On coarser interval temporal logics ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Interval Duration Logic ⋮ Computational complexity of hybrid interval temporal logics ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic ⋮ Decidability of a Hybrid Duration Calculus ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols ⋮ Temporal Logic of Minkowski Spacetime ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication: A propositional modal logic of time intervals
