scientific article; zbMATH DE number 1297597

zbMATH Open0914.00019MaRDI QIDQ4245751FDOQ4245751

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

Publication date: 9 June 1999

Title of this publication is not available (Why is that?)

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

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)

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)