scientific article
From MaRDI portal
Publication:3973061
zbMath0745.03014MaRDI QIDQ3973061
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items (11)
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
This page was built for publication:
