scientific article; zbMATH DE number 4168676

zbMATH Open0711.03027MaRDI QIDQ3495352FDOQ3495352

Authors: Alexei Y. Muravitsky 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Interpolation property for extensions of intuitionistic provability logic
• Correspondences between classical, intuitionistic and uniform provability
• On superintuitionistic logics as fragments of proof logic extensions
• On the Blok-Esakia theorem
• Title not available (Why is that?)
• Interconnection of the lattices of extensions of four logics
• Extensions of the 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)