Similar Items: Towards a Proof Theory of Gödel Modal Logics
- Proof Theory of Riesz Spaces and Modal Riesz Spaces
- Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- Proof Theory of a Multi-Lane Spatial Logic
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory