ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
From MaRDI portal
Publication:3483261
DOI10.1070/IM1990v035n02ABEH000701zbMath0704.03005MaRDI QIDQ3483261
Publication date: 1990
Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)
Related Items
On bimodal logics of provability, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Arithmetical completeness theorem for modal logic \(\mathsf{K}\), Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS