Similar Items: The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
- 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
- Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
- A First-Order Complete Temporal Logic for Structured Context-Free Languages
- On the meaning of logical completeness
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?