Prompt interval temporal logic
DOI10.1007/978-3-319-48758-8_14zbMATH Open1483.03015OpenAlexW2544900219MaRDI QIDQ2835872FDOQ2835872
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
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
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cites Work
- Maintaining knowledge about temporal intervals
- Towards a general theory of action and time
- Duration calculus. A formal approach to real-time systems.
- Temporal prepositions and their logic
- A propositional modal logic of time intervals
- Title not available (Why is that?)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Parametric temporal logic for “model measuring”
- From liveness to promptness
- Finitary winning in \({\omega}\)-regular games
- Optimal bounds in parametric LTL games
- Cost-parity and cost-Streett games
- A logical study of distributed transition systems
- On promptness in parity games
- The importance of the past in interval temporal logics: the case of propositional neighborhood logic
- Prompt interval temporal logic
- Promptness in \(\omega \)-regular automata
Cited In (6)
- Prompt interval temporal logic
- Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
- From liveness to promptness
- Title not available (Why is that?)
- 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)
