Interpolation in modal infinite slice logics containing the logic K4

MaRDI QIDQ805608zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 1991

Published in Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

amalgamation propertyCraig interpolation propertyextensions of Gödel-Löb logicGrzegorczyk logicinfinite-slice extension of K4interpolation property for derivabilityK4-algebralogics of finite irreflexive n-ary treesmodal logicreflexive fragmentstopoboolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Review text

See the review in Zbl 0713.03006.

Cited in

(2)

• Restricted interpolation over modal logic S4
• Weak interpolation in extensions of the logics S4 and K4

This page was built for publication: Interpolation in modal infinite slice logics containing the logic K4

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