Guest editors' preface to special issue on interval temporal logics
DOI10.1007/s10472-014-9417-7zbMath1298.00328OpenAlexW2055290446MaRDI QIDQ2251123
No author found.
Publication date: 11 July 2014
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-014-9417-7
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Temporal logic (03B44)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Proving linearizability with temporal logic
- Balancing expressiveness in formal approaches to concurrency
- A calculus of durations
- Duration calculus: Logical foundations
- Duration calculus. A formal approach to real-time systems.
- Temporal logic and state systems
- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
- Verification of Fine-grain Concurrent Programs
- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
- An Introduction to Practical Formal Methods Using Temporal Logic
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
- Tentative steps toward a development method for interfering programs
- A Modal Logic for Chopping Intervals
- Complexity and algorithms for reasoning about time
- A propositional modal logic of time intervals
- Real-Time Systems
- A Road Map of Interval Temporal Logics and Duration Calculi
- A Road Map of Interval Temporal Logics and Duration Calculi
This page was built for publication: Guest editors' preface to special issue on interval temporal logics
