Uniform interpolation for monotone modal logic
From MaRDI portal
Publication:2904063
zbMATH Open1254.03039MaRDI QIDQ2904063FDOQ2904063
Authors: Luigi Santocanale, Yde Venema 
Publication date: 5 August 2012
Recommendations
coalgebraic logicuniform interpolationbisimulation quantifiersmonotone modal logicmonotone neighborhood models
Cited In (21)
- Proof systems for Moss' coalgebraic logic
- Uniform Lyndon interpolation for basic non-normal modal logics
- Model theoretical aspects of weakly aggregative modal logic
- Uniform interpolation for coalgebraic fixpoint logic
- Title not available (Why is that?)
- Uniform interpolation and propositional quantifiers in modal logics
- Coalgebraic semantics of modal logics: an overview
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Positive monotone modal logic
- Deciding the existence of uniform interpolants over transitive models
- On modal \(\mu\)-calculus with explicit interpolants
- The logic of exact covers: completeness and uniform interpolation
- Uniform Lyndon interpolation property in propositional modal logics
- Lax extensions of coalgebra functors and their logic
- Uniform Lyndon interpolation for intuitionistic monotone modal logic
- Uniform interpolation for propositional and modal team logics
- The succinctness of the cover modality
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics
- Uniform interpolation and sequent calculi in modal logic
- Uniform interpolation in coalgebraic 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)
