scientific article; zbMATH DE number 1297597

MaRDI QIDQ4245751zbMATH OpenFDO

Authors Mati Pentus, Lev D. Beklemishev, Nikolai K. Vereshchagin

Publication date 9 June 1999

zbMATH Keywords

ComplexityGrammarsProvability

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 3952713
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• On the degrees of unsolvability of modal predicate logics of provability
• scientific article; zbMATH DE number 3954903
• scientific article; zbMATH DE number 5037198

Cited in

(1)

• Franco Montagna's work on provability logic and many-valued logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4245751)