Similar Items: Flow Logic
- Executable First-Order Queries in the Logic of Information Flows
- Guarded Second-Order Logic, Spanning Trees, and Network Flows
- Logical Step-Indexed Logical Relations
- Matching Logic
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic