Similar Items: Extending the theory of Owicki and Gries with a logic of progress
- A categorical account of composition methods in logic (extended version)
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- An enriched view on the extended finitary monad--Lawvere theory correspondence
- Coalgebraic Geometric Logic: Basic Theory
- Towards a Proof Theory of Gödel Modal Logics
- Proof Theory of a Multi-Lane Spatial Logic