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

survey paperinterval logics

Mathematics Subject Classification ID

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)

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

(33)

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

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)