Uniform Interpolation in Coalgebraic Modal Logic.

DOI10.4230/LIPIcs.CALCO.2017.21zbMath1433.03158OpenAlexW2773021935MaRDI QIDQ4580217

Fatemeh 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

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)

Related Items (2)

Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Model theoretical aspects of weakly aggregative modal logic

This page was built for publication: Uniform Interpolation in Coalgebraic Modal Logic.