Prompt Interval Temporal Logic

DOI10.1007/978-3-319-48758-8_14zbMath1483.03015OpenAlexW2544900219MaRDI QIDQ2835872

Pietro Sala, Aniello Murano, Dario Della Monica, Angelo Montanari

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11390/1110495

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (3)

Unnamed Item ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts ⋮ Prompt Interval Temporal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Optimal bounds in parametric LTL games
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• From liveness to promptness
• Towards a general theory of action and time
• Duration calculus. A formal approach to real-time systems.
• A logical study of distributed transition systems
• Temporal prepositions and their logic
• Prompt Interval Temporal Logic
• On Promptness in Parity Games
• The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
• Finitary winning in ω-regular games
• Parametric temporal logic for “model measuring”
• A propositional modal logic of time intervals
• Promptness in ω-Regular Automata

This page was built for publication: Prompt Interval Temporal Logic