Similar Items: Expressive Logics for Coinductive Predicates
- Spatial logics with connectedness predicates
- Covering and separation for logical fragments with modular predicates
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- A Hoare logic for the coinductive trace-based big-step semantics of While
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity