Interpolation in modal infinite slice logics containing the logic K4
From MaRDI portal
Publication:805608
zbMATH Open0729.03011MaRDI QIDQ805608
Publication date: 1991
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
modal logicamalgamation propertyGrzegorczyk logicCraig interpolation propertyextensions of Gödel-Löb logicinfinite-slice extension of K4interpolation property for derivabilityK4-algebralogics of finite irreflexive n-ary treesreflexive fragmentstopoboolean algebra
Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)
Related Items (2)
Weak interpolation in extensions of the logics S4 and K4 ⋮ Restricted interpolation over modal logic S4
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)
