Uniform interpolation for monotone modal logic
From MaRDI portal
Publication:2904063
Recommendations
Cited in
(21)- The succinctness of the cover modality
- Deciding the existence of uniform interpolants over transitive models
- Uniform interpolation and sequent calculi in modal logic
- On modal \(\mu\)-calculus with explicit interpolants
- Lax extensions of coalgebra functors and their logic
- The logic of exact covers: completeness and uniform interpolation
- Uniform Lyndon interpolation property in propositional modal logics
- Uniform interpolation and propositional quantifiers in modal logics
- Coalgebraic semantics of modal logics: an overview
- Proof systems for Moss' coalgebraic logic
- Positive monotone modal logic
- scientific article; zbMATH DE number 922620 (Why is no real title available?)
- Uniform interpolation in coalgebraic modal logic
- Uniform Lyndon interpolation for basic non-normal modal logics
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
- Model theoretical aspects of weakly aggregative modal logic
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Uniform interpolation for propositional and modal team logics
- Uniform interpolation for coalgebraic fixpoint logic
- Uniform Lyndon interpolation for intuitionistic monotone modal logic
This page was built for publication: Uniform interpolation for monotone modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904063)
