Temporal prepositions and their logic
From MaRDI portal
Publication:2457655
DOI10.1016/j.artint.2005.04.003zbMath1132.03334OpenAlexW2007939755MaRDI QIDQ2457655
Publication date: 23 October 2007
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2005.04.003
Logic of natural languages (03B65) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Complexity analysis of a unifying algorithm for model checking interval 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 ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ An event-based fragment of first-order logic over intervals ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ Prior and temporal sequences for natural language ⋮ Unnamed Item ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Constraining cycle alternations in model checking for interval temporal logic ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments ⋮ Prompt Interval Temporal Logic ⋮ On coarser interval temporal logics
Cites Work
- Expressiveness and completeness of an interval tense logic
- A Modal Logic for Chopping Intervals
- A propositional modal logic of time intervals
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
- Automated Reasoning with Analytic Tableaux and Related Methods
- A Road Map of Interval Temporal Logics and Duration Calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item