scientific article; zbMATH DE number 6131597
From MaRDI portal
Publication:4904145
zbMATH Open1275.03087MaRDI QIDQ4904145FDOQ4904145
Valentin Goranko, Guido Sciavicco, Dario Della Monica, Angelo Montanari
Publication date: 28 January 2013
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cited In (19)
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
- Interval extensions of orders and temporal approximation spaces
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- A Road Map of Interval Temporal Logics and Duration Calculi
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
- Prompt Interval Temporal Logic
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
- On coarser interval temporal logics
- Guest editors' preface to special issue on interval temporal logics
- Title not available (Why is that?)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
- Checking interval properties of computations
- Title not available (Why is that?)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes
- Interval Temporal Logic Semantics of Box Algebra
- Constraining cycle alternations in model checking for interval temporal logic
- A separation theorem for discrete-time interval temporal logic
- On Temporal and Separation Logics
- Hybrid fragments of Halpern-Shoham logic and their expressive power
Recommendations
- A Road Map of Interval Temporal Logics and Duration Calculi 👍 👎
- On coarser interval temporal logics 👍 👎
- Interval duration logic: expressiveness and decidability 👍 👎
- A Road Map of Interval Temporal Logics and Duration Calculi 👍 👎
- Exploring the Jungle of Intuitionistic Temporal Logics 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904145)
