Similar Items: Intuitionistic Layered Graph Logic: Semantics and Proof Theory
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Classical BI: Its Semantics and Proof Theory
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- The intuitionistic temporal logic of dynamical systems
- Functional Interpretations of Intuitionistic Linear Logic
- Towards a Proof Theory of Gödel Modal Logics