Similar Items: Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
- On Sub-Propositional Fragments of Modal Logic
- Validity and Entailment in Modal and Propositional Dependence Logics
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Universal quantification makes automatic structures hard to decide
- A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- Propositional Dynamic Logic for Message-Passing Systems