×

zbMATH — the first resource for mathematics

On modal logics axiomatizing provability. (English) Zbl 0609.03005
Translation from Izv. Akad. Nauk SSSR, Ser. Mat. 49, No.6, 1123-1154 (Russian) (1985; Zbl 0598.03012).

MSC:
03B45 Modal logic (including the logic of norms)
03F07 Structure of proofs
03F30 First-order arithmetic and fragments
03F50 Metamathematics of constructive systems
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI