Why Systems of Temporal Logic Are Sometimes (Un)useful?

DOI10.1007/978-3-319-39384-1_26zbMath1358.68292OpenAlexW2482934214MaRDI QIDQ2814135

Krystian Jobczyk, Antoni Ligȩza

Publication date: 17 June 2016

Published in: Artificial Intelligence and Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-39384-1_26

zbMATH Keywords

linear temporal logicHalpern-Shoham logicengineering evaluation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Artificial intelligence for robotics (68T40)

Related Items (1)

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

Cites Work

• Maintaining knowledge about temporal intervals
• Many-dimensional modal logics: theory and applications
• Using temporal logics to express search control knowledge for planning
• Selected Temporal Logic Systems: An Attempt at Engineering Evaluation
• B and D Are Enough to Make the Halpern–Shoham Logic Undecidable
• A propositional modal logic of time intervals
• Interval Logics and ωB-Regular Languages
• A Road Map of Interval Temporal Logics and Duration Calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Why Systems of Temporal Logic Are Sometimes (Un)useful?