Pages that link to "Item:Q2904063"
From MaRDI portal
The following pages link to Uniform interpolation for monotone modal logic (Q2904063):
Displaying 17 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
- Uniform interpolation for propositional and modal team logics (Q5213395) (← links)
- The Logic of Exact Covers: Completeness and Uniform Interpolation (Q5271079) (← links)