Algebraic neighbourhood logic
From MaRDI portal
Publication:929966
DOI10.1016/j.jlap.2007.10.004zbMath1142.03036OpenAlexW2140517105MaRDI QIDQ929966
Publication date: 19 June 2008
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39084
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Kleene getting lazy
- A calculus of durations
- Completeness of temporal logics over infinite intervals.
- Duration calculus. A formal approach to real-time systems.
- Expressive completeness of duration calculus.
- Expressiveness and completeness of an interval tense logic
- A general tableau method for propositional interval temporal logics: theory and implementation
- An axiomatization of PCTL*
- An axiomatization of full Computation Tree Logic
- Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
- Automated Reasoning in Kleene Algebra
- Quantales and Temporal Logics
- A Modal Logic for Chopping Intervals
- A propositional modal logic of time intervals
- Completeness of neighbourhood logic
- A duration calculus with infinite intervals
- Kleene algebra with domain
- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
- Lazy Semiring Neighbours and Some Applications
- Relational Methods in Computer Science
- A Road Map of Interval Temporal Logics and Duration Calculi