Similar Items: Classical propositional logic and decidability of variables in intuitionistic propositional logic
- On Sub-Propositional Fragments of Modal Logic
- Propositional Dynamic Logic for Message-Passing Systems
- Validity and Entailment in Modal and Propositional Dependence Logics
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
- A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time