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