ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
From MaRDI portal
Publication:4712747
DOI10.1070/IM1991V036N02ABEH002026zbMath0766.03012OpenAlexW2042392865MaRDI QIDQ4712747
Vladimir Vladimirovich Rybakov
Publication date: 25 June 1992
Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/im1991v036n02abeh002026
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items (1)
This page was built for publication: ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY