Similar Items: 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
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
- Propositional Dynamic Logic for Message-Passing Systems
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems