• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Global neighbourhood completeness of the provability logic GLP
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
July 24, 2026
'Physics Is What the World Is Literally Built On'
Physicist Nina Dzhanayeva, recipient of a Vladimir Potanin Foundation scholarship, focuses her research on nanophotonics. In this interview for the HSE Young Scientists project, she discusses nanowells, scientific intuition, and how physics can help in making frangipane cream puffs.
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Global neighbourhood completeness of the provability logic GLP

P. 581–596.
Shamkanov D. S.

The provability logic GLP introduced by G. Japaridze is a propositional polymodal logic with important applications in proof theory, specificially, in ordinal analysis of arithmetic. Though being incomplete with respect to any class of Kripke frames, the logic GLP is complete for its neighbourhood interpretation. This completeness result, established by L. Beklemishev and D. Gabelaia, implies strong neighbourhood completeness of this system for the case of the so-called local semantic consequence relation. In the given article, we consider Hilbert-style non-well-founded derivations in the provability logic GLP and establish that GLP with the obtained derivability relation is strongly neighbourhood complete in the case of the global semantic consequence relation.

Language: English
Full text
Keywords: algebraic semanticsprovability logicNeighbourhood semanticsglobal consequence relationsnon-well-founded derivations

In book

Advances in Modal Logic
Advances in Modal Logic
Vol. 13. , College Publications, 2020.
Similar publications
On algebraic and topological semantics of the modal logic of common knowledge S4CI
Shamkanov D. S., Logic Journal of the IGPL 2024 Vol. 32 No. 1 P. 164–179
For the modal logic S4CI, we identify the class of completable S4IC-algebras and prove for them a Stone-type representation theorem. As a consequence, we obtain strong algebraic and topological completeness of the logic S4CI in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish ...
Added: November 30, 2022
Non-well-founded derivations in the Gödel-Löb provability logic
Shamkanov D. S., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776–796
We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics. ...
Added: December 20, 2019
A many-sorted variant of Japaridze's polymodal provability logic
Berger G., Beklemishev L. D., Tompits H., Logic Journal of the IGPL 2018 Vol. 26 No. 5 P. 505–538
We consider a many-sorted variant of Japaridze’s polymodal provability logic (⁠GLP⁠). In this variant, which is denoted GLP∗⁠, propositional variables are assigned sorts n≤ω⁠, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...
Added: February 14, 2019
On neighbourhood product of some Horn axiomatizable logics
Kudinov A., Logic Journal of the IGPL 2018 Vol. 26 No. 3 P. 316–338
The paper considers modal logics of products of neighbourhood frames. The n-product of modal logics is the logic of all products of neighbourhood frames of the corresponding logics. We find the n-product of any two pretransitive Horn axiomatizable logics. As a corollary, we find the d-logic of products of topological spaces from some classes of ...
Added: August 20, 2018
Global neighbourhood completeness of the Gödel-Löb provability logic
Shamkanov D. S., , in: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings.: Springer, 2017. P. 358–370.
The Gödel-Löb provability logic GL and establish that ...
Added: September 26, 2017
A realization theorem for the Gödel-Löb provability logic
Shamkanov D. S., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344–1360
We present a new justification logic corresponding to the Gödel-Löb provability logic GL and prove the realization theorem connecting these two systems in such a way that all the realizations provided in the theorem are normal. ...
Added: November 25, 2016
Gerald Berger, Lev D. Beklemishev, Hans Tompits. A many-sorted variant of Japaridze's polymodal provability logic, Jan 2016, 15 pp., ArXiv: 1601.02857.
Berger G., Beklemishev L. D., Tompits H., / Series math "arxiv.org". 2016. No. 1601.02857.
We consider a many-sorted variant of Japaridze's polymodal provability logic GLP. In this variant, propositional variables are assigned sorts n< omega, where variables of sort n are arithmetically interpreted as Pi_{n+1}-sentences of the arithmetical hierarchy. We prove that the many-sorted variant is arithmetically complete with respect to this interpretation. ...
Added: March 13, 2016
Franco Montagna’s Work on Provability Logic and Many-valued Logic
L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1–46
Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...
Added: March 13, 2016
Nested Sequents for Provability Logic GLP
Shamkanov D. S., Logic Journal of the IGPL 2015 Vol. 23 No. 5 P. 789–815
We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically. ...
Added: July 2, 2015
Circular proofs for the Gödel–Löb provability logic
Shamkanov D. S., Mathematical notes 2014 Vol. 96 No. 4 P. 575–585
Sequent calculus for the provability logic GL is considered, in which provability is based on the notion of a circular proof. Unlike ordinary derivations, circular proofs are represented by graphs allowed to contain cycles, rather than by finite trees. Using this notion, we obtain a syntactic proof of the Lyndon interpolation property for GL. ...
Added: August 13, 2014
Topological completeness of the provability logic GLP
Beklemishev L. D., Gabelaia D., Annals of Pure and Applied Logic 2013 Vol. 164 No. 12 P. 1201–1223
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the ...
Added: September 16, 2013
Topology, Algebra and Categories in Logic (TACL 2011)
Marseille: [б.и.], 2011.
Added: February 27, 2013
Interpolation properties for provability logics GL and GLP
Shamkanov D. S., Proceedings of the Steklov Institute of Mathematics 2011 Vol. 274 No. 1 P. 303–316
We study interpolation properties of provability logics. We prove the Lyndon interpolation for GL and the uniform interpolation for GLP. ...
Added: February 6, 2013
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit