Uniform arithmetical completeness of modal provability logics

  • S. N. Artemov
Article

DOI: 10.1007/BF01164256

Cite this article as:
Artemov, S.N. Mathematical Notes of the Academy of Sciences of the USSR (1990) 48: 625. doi:10.1007/BF01164256
  • 39 Downloads

Copyright information

© Plenum Publishing Corporation 1991

Authors and Affiliations

  • S. N. Artemov
    • 1
  1. 1.Steklov Mathematical InstituteAcademy of Sciences of the USSRUSSR

Personalised recommendations