Similar Items: Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Propositional Dynamic Logic for Message-Passing Systems
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
- On Sub-Propositional Fragments of Modal Logic
- Validity and Entailment in Modal and Propositional Dependence Logics
- On noncommutative extensions of linear logic