Similar Items: A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
- The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Left-Linear Completion with AC Axioms
- Propositional Dynamic Logic for Message-Passing Systems
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?