Publication:3973061
From MaRDI portal
zbMath0745.03014MaRDI QIDQ3973061
Publication date: 26 June 1992
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F40: Gödel numberings and issues of incompleteness
Related Items
STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES, Topological Interpretations of Provability Logic, A topological completeness theorem for transfinite provability logic, Foreword to the special issue dedicated to the memory of Leo Esakia, The d-logic of the rational numbers: a fruitful construction, Some results on modal axiomatization and definability for topological spaces, Scattered and hereditarily irresolvable spaces in modal logic, The polytopologies of transfinite provability logic, NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC