• 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
June 5, 2026
Neural Network Maps as a Method for Constructing Mathematical Models
Scientists from HSE University–Nizhny Novgorod and the Institute of Physics Belgrade, Serbia, are jointly exploring the application of machine learning techniques and neural networks to the study of nonlinear dynamics. Natalya Stankevich, Leading Research Fellow at the Laboratory of Topological Methods in Dynamics of the Faculty of Informatics, Mathematics, and Computer Science at HSE University–Nizhny Novgorod, spoke to the HSE News Service about this international project.
June 5, 2026
‘In the Age of Technology, It Is Interesting to Look into the Past and Think about What We Can Take from It
Polina Tabakova decided to apply for a Philology degree at HSE in Nizhny Novgorod because she grew up in Mari El and did not want to move far away from the Russian forests. In an interview for the Young Scientists of HSE University project, she spoke about the genre of the campus novel, the existential drama of Kolobok, and a blackout version of Eugene Onegin.
June 5, 2026
HSE Scientists Develop Method to Compress Large Language Models Without Losing Quality
Researchers from the AI and Digital Science Institute at the HSE Faculty of Computer Science have developed a new compression method for large language models such as GPT and LLaMA that reduces their size by 25–36% without additional training or significant loss of accuracy. This is the first approach to use mathematical transformations—specifically, rotations of model weights—to make models more amenable to compression with structured matrices. The study results have been published in ACL Findings 2025. The code is available on GitHub.

 

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