Similar Items: Propositional Dynamic Logic for Message-Passing Systems
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
- Permission-Based Separation Logic for Message-Passing Concurrency
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Typing Copyless Message Passing
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
- On Sub-Propositional Fragments of Modal Logic