Uniform interpolation in coalgebraic modal logic
From MaRDI portal
Publication:4580217
DOI10.4230/LIPICS.CALCO.2017.21zbMATH Open1433.03158OpenAlexW2773021935MaRDI QIDQ4580217FDOQ4580217
Authors: F. Seifan, Lutz Schröder, Dirk Pattinson 
Publication date: 13 August 2018
Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2017.21
Recommendations
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Abstract algebraic logic (03G27)
Cited In (19)
- Uniform Lyndon interpolation for basic non-normal modal logics
- Model theoretical aspects of weakly aggregative modal logic
- Uniform interpolation for coalgebraic fixpoint logic
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
- Uniform interpolation and compact congruences
- Uniform Interpolation by Resolution in Modal Logic
- Uniform interpolation and propositional quantifiers in modal logics
- Uniform interpolation via nested sequents
- Interpolation with decidable fixpoint logics
- Admissibility of cut in coalgebraic logics
- Saturation-based uniform interpolation for multi-modal logics
- Uniform interpolation for monotone modal logic
- The logic of exact covers: completeness and uniform interpolation
- Cut elimination in coalgebraic logics
- Uniform Lyndon interpolation property in propositional modal logics
- Title not available (Why is that?)
- Uniform interpolation for propositional and modal team logics
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- Uniform interpolation and sequent calculi in modal logic
This page was built for publication: Uniform interpolation in coalgebraic modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580217)
