Similar Items: Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Generic Modal Cut Elimination Applied to Conditional Logics
- Generic Fibrational Induction
- Constructive Domains with Classical Witnesses
- Expressiveness of Metric modalities for continuous time
- Generic Trace Semantics via Coinduction
- Generic algorithms for halting problem and optimal machines revisited