Uniform interpolation in coalgebraic modal logic

DOI10.4230/LIPICS.CALCO.2017.21MaRDI QIDQ4580217zbMATHOpenAlexFDO

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

zbMATH Keywords

weak pullbackuniform interpolationcoalgebraic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Abstract algebraic logic (03G27)

Recommendations

• Uniform interpolation for coalgebraic fixpoint logic
• Uniform interpolation for monotone modal logic
• Uniform interpolation and propositional quantifiers in modal logics
• The logic of exact covers: completeness and uniform interpolation
• scientific article; zbMATH DE number 1215463

Cited in

(19)

• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Cut elimination in coalgebraic logics
• Uniform interpolation and sequent calculi in modal logic
• Interpolation with decidable fixpoint logics
• 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
• scientific article; zbMATH DE number 1215463 (Why is no real title available?)
• Uniform Interpolation by Resolution in Modal Logic
• Uniform Lyndon interpolation for basic non-normal modal logics
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Admissibility of cut in coalgebraic logics
• Saturation-based uniform interpolation for multi-modal logics
• Model theoretical aspects of weakly aggregative modal logic
• Uniform interpolation for propositional and modal team logics
• Uniform interpolation for coalgebraic fixpoint logic
• Uniform interpolation via nested sequents
• Uniform interpolation for monotone modal logic
• Uniform interpolation and compact congruences

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)