Continuum of normal extensions of the modal logic of provability with the interpolation property

DOI10.1007/BF00970916zbMath0709.03011MaRDI QIDQ920973

Larisa L. Maksimova

Publication date: 1989

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/63208

zbMATH Keywords

provability logicmodal logicsamalgamationinterpolation propertynormal extensionsdiagonalizable algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Interpolation, preservation, definability (03C40) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal tableau calculi and interpolation
• Logical matrices and the amalgamation property
• Pretabular varieties of modal algebras
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Failures of the interpolation lemma in quantified modal logic
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

This page was built for publication: Continuum of normal extensions of the modal logic of provability with the interpolation property