The interpolant existence problem for weak K4 and difference logic

MaRDI QIDQ6967392zbMATH OpenFDO

Authors Agi Kurucz, F. Wolter, Michael Zakharyaschev

Publication date 26 June 2025

zbMATH Keywords

computational complexityCraig interpolantpropositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(2)

• Deciding the existence of interpolants and definitions in first-order modal logic
• A non-uniform view of Craig interpolation in modal logics with linear frames

This page was built for publication: The interpolant existence problem for weak K4 and difference logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967392)