Prompt interval temporal logic

DOI10.1007/978-3-319-48758-8_14MaRDI QIDQ2835872zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• scientific article; zbMATH DE number 6131597
• scientific article; zbMATH DE number 3889506
• scientific article; zbMATH DE number 1696444
• Metric propositional neighborhood logics: expressiveness, decidability, and undecidability

Cites work

• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• A logical study of distributed transition systems
• A propositional modal logic of time intervals
• Cost-parity and cost-Streett games
• Duration calculus. A formal approach to real-time systems.
• Finitary winning in \({\omega}\)-regular games
• From liveness to promptness
• Maintaining knowledge about temporal intervals
• On promptness in parity games
• Optimal bounds in parametric LTL games
• Parametric temporal logic for “model measuring”
• Prompt interval temporal logic
• Promptness in \(\omega \)-regular automata
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Temporal prepositions and their logic
• The importance of the past in interval temporal logics: the case of propositional neighborhood logic
• Towards a general theory of action and time

Cited in

(6)

• Prompt interval temporal logic
• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
• Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata
• From liveness to promptness
• scientific article; zbMATH DE number 1696444 (Why is no real title available?)
• From Liveness to Promptness

This page was built for publication: Prompt interval temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835872)