ON MODAL LOGICS AXIOMATIZING PROVABILITY

• 30 June 1986
• journal article
• Published by Steklov Mathematical Institute in Mathematics of the USSR-Izvestiya
• Vol. 27  (3) , 401-429
• https://doi.org/10.1070/im1986v027n03abeh001183

Abstract

Keywords

• MODAL LOGICS AXIOMATIZING PROVABILITY