Similar Items: Spatial logics with connectedness predicates
- Expressive Logics for Coinductive Predicates
- Covering and separation for logical fragments with modular predicates
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- Predicative theories of continuous lattices
- Predicate Abstraction with Under-approximation Refinement
- Defining Recursive Predicates in Graph Orders