Temporal prepositions and their logic

From MaRDI portal
Publication:2457655

DOI10.1016/j.artint.2005.04.003zbMath1132.03334OpenAlexW2007939755MaRDI QIDQ2457655

Ian Pratt-Hartmann

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




Related Items

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense casesComplexity analysis of a unifying algorithm for model checking interval temporal logicSub-propositional Fragments of the Interval Temporal Logic of Allen’s RelationsOn the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear OrdersA survey on temporal logics for specifying and verifying real-time systems\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixesInterval Temporal Logic for Visibly Pushdown SystemsAn event-based fragment of first-order logic over intervalsModel checking for fragments of Halpern and Shoham's interval temporal logic based on track representativesUnnamed ItemUnnamed ItemInterval vs. Point Temporal Logic Model CheckingUnnamed ItemUnnamed ItemWhich 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 OrdersPrior and temporal sequences for natural languageUnnamed ItemModel checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchyConstraining cycle alternations in model checking for interval temporal logicInterval Temporal Logic Model Checking: The Border Between Good and Bad HS FragmentsPrompt Interval Temporal LogicOn coarser interval temporal logics



Cites Work