The following pages link to (Q4215595):
Displaying 10 items.
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Uniform interpolation for monotone modal logic (Q2904063) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) (← links)