scientific article; zbMATH DE number 6131597
From MaRDI portal
Publication:4904145
zbMATH Open1275.03087MaRDI QIDQ4904145FDOQ4904145
Authors: Dario Della Monica, Angelo Montanari, Guido Sciavicco, Valentin Goranko 
Publication date: 28 January 2013
Title of this publication is not available (Why is that?)
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
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 (33)
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
- Interval extensions of orders and temporal approximation spaces
- Fast(er) reasoning in interval temporal logic
- Title not available (Why is that?)
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- Prompt interval temporal logic
- 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
- 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
- On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
- Guest editors' preface to special issue on interval temporal logics
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
- Checking interval properties of computations
- Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
- Relational dual tableaux for interval temporal logics
- Title not available (Why is that?)
- \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)
