|
|||||
|
|
On Provability Logics with Linearly Ordered Modalities |
|
| Authors: | Lev D Beklemishev David Fernández-Duque Joost J Joosten |
| Institution: | 1. V. A. Steklov Mathematical Institute, RAS, Moscow M.V. Lomonosov State University, National Research University Higher School of Economics, Moscow, Russia 2. Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Seville, Spain 3. Department of Logic, History and Philosophy of Science, Universitat de Barcelona, Barcelona, Spain |
| Abstract: | We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment of GLP Λ. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |