scientific article; zbMATH DE number 4168676

MaRDI QIDQ3495352zbMATH OpenFDO

Authors Alexei Y. Muravitsky

Publication date 1989

zbMATH Keywords

modal logicprovability logic Gprovability-intuitionistic logic \(I^{\Delta }\)

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3963789
• scientific article; zbMATH DE number 4045717
• On superintuitionistic logics as fragments of proof logic extensions
• Interpolation property for extensions of intuitionistic provability logic
• scientific article; zbMATH DE number 3935005

Cited in

(7)

• On superintuitionistic logics as fragments of proof logic extensions
• Correspondences between classical, intuitionistic and uniform provability
• Interconnection of the lattices of extensions of four logics
• scientific article; zbMATH DE number 3963789 (Why is no real title available?)
• On the Blok-Esakia theorem
• Extensions of the provability logic
• Interpolation property for extensions of intuitionistic provability logic

This page was built for publication:

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