Definability theorems in normal extensions of the provability logic

DOI10.1007/BF00370203zbMath0707.03013MaRDI QIDQ918958

Larisa L. Maksimova

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Beth's definability theoremprovability in all consistent normal extensions of GL

Mathematics Subject Classification ID

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

Related Items (3)

An analog of Beth's theorem in normal extensions of the modal logic K4 ⋮ The Henkin Sentence ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On superintuitionistic logics as fragments of proof logic extensions
• 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.)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

This page was built for publication: Definability theorems in normal extensions of the provability logic