Similar Items: Dual-Context Calculi for Modal Logic
- An expressive completeness theorem for coalgebraic modal mu-calculi
- Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Modal Logics of Topological Relations
- Modal meet-implication logic
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics