Uniform interpolation in coalgebraic modal logic

DOI10.4230/LIPICS.CALCO.2017.21zbMATH Open1433.03158OpenAlexW2773021935MaRDI QIDQ4580217FDOQ4580217

F. Seifan, Dirk Pattinson, Lutz Schröder

Publication date: 13 August 2018

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2017.21

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

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)

Cited In (11)

• Uniform Lyndon interpolation for basic non-normal modal logics
• Model theoretical aspects of weakly aggregative modal logic
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Uniform Interpolation by Resolution in Modal Logic
• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation via nested sequents
• Cut elimination in coalgebraic logics
• Uniform Lyndon interpolation property in propositional modal logics
• Title not available (Why is that?)
• 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)