scientific article; zbMATH DE number 6131597

MaRDI QIDQ4904145zbMATH OpenFDO

Authors Dario Della Monica, Angelo Montanari, Guido Sciavicco, Valentin Goranko

Publication date 28 January 2013

zbMATH Keywords

interval logicssurvey paper

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A Road Map of Interval Temporal Logics and Duration Calculi
• scientific article; zbMATH DE number 3862427
• Exploring the Jungle of Intuitionistic Temporal Logics
• scientific article; zbMATH DE number 3889506
• On coarser interval temporal logics
• scientific article; zbMATH DE number 5000355
• Interval duration logic: expressiveness and decidability
• A hierarchical analysis of propositional temporal logic based on intervals
• A Road Map of Interval Temporal Logics and Duration Calculi

Cited in

(34)

• Guest editors' preface to special issue on interval temporal logics
• On coarser interval temporal logics
• Hybrid fragments of Halpern-Shoham logic and their expressive power
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• Two-sorted point-interval temporal logics
• Prompt interval temporal logic
• The importance of the past in interval temporal logics: the case of propositional neighborhood logic
• On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
• An interval logic for natural language semantics
• Checking interval properties of computations
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Relational dual tableaux for interval temporal logics
• An integrated first-order theory of points and intervals over linear orders. I
• Interval logics and B-regular languages
• scientific article; zbMATH DE number 1424033 (Why is no real title available?)
• Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
• A separation theorem for discrete-time interval temporal logic
• On temporal and separation logics
• Computational complexity of a core fragment of Halpern-Shoham logic
• Fast(er) reasoning in interval temporal logic
• A general tableau method for propositional interval temporal logics
• Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
• Interval Temporal Logic Semantics of Box Algebra
• A New Modal Approach to the Logic of Intervals
• A Minimal Hybrid Logic for Intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi
• \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes
• Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
• Unary and two-variable interval logics
• Interval temporal logic HS with path quantifiers
• Constraining cycle alternations in model checking for interval temporal logic
• Interval extensions of orders and temporal approximation spaces

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)