A temporal logic for successive events
From MaRDI portal
Publication:6562543
DOI10.1007/978-3-031-45558-2_14MaRDI QIDQ6562543
Publication date: 26 June 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic-based calculus of events
- Towards a general theory of action and time
- Intervals and tenses
- Interval semantics for tense logic: Some remarks
- Reasoning about information change
- Duration calculus: Logical foundations
- Duration calculus. A formal approach to real-time systems.
- Logics of public communications
- Dynamic Epistemic Logic and Knowledge Puzzles
- A propositional modal logic of time intervals
- A Road Map of Interval Temporal Logics and Duration Calculi
This page was built for publication: A temporal logic for successive events
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562543)
