scientific article; zbMATH DE number 6131597
From MaRDI portal
Publication:4904145
zbMath1275.03087MaRDI QIDQ4904145
Guido Sciavicco, Dario Della Monica, Angelo Montanari, Valentin F. Goranko
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)
Related Items
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Interval extensions of orders and temporal approximation spaces ⋮ Checking interval properties of computations ⋮ A separation theorem for discrete-time interval temporal logic ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Unnamed Item ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ Unnamed Item ⋮ Constraining cycle alternations in model checking for interval temporal logic ⋮ On Temporal and Separation Logics ⋮ Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic ⋮ Prompt Interval Temporal Logic ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power