Similar Items: Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
- A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
- Infinite Probabilistic Databases
- Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
- FO Model Checking of Interval Graphs
- Determinacy in Discrete-Bidding Infinite-Duration Games