A simplified proof of arithmetical completeness theorem for provability logic GLPстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 22 октября 2015 г.
Аннотация:We present a simplified proof of Japaridze's arithmetical
completeness theorem for the well-known polymodal provability logic
GLP. The simplification is achieved by employing a
fragment J of GLP that enjoys a more convenient Kripke-style
semantics than the logic considered in the papers by Ignatiev and
Boolos. In particular, this allows us to simplify the arithmetical
fixed point construction and to bring it closer to the standard
construction due to Solovay.