On the reduction property for GLP-algebras
We consider a natural generalization to the class of all GLP-algebras of the so-called reduction property for the polymodal provability algebras in arithmetic. An analogue of this property is established for the free GLP-algebras and for some topological GLP-algebras (GLP-spaces).
Unable to display preview. Download preview PDF.
- 8.L. D. Beklemishev and D. Gabelaia, “Topological interpretations of provability logic,” in Leo Esakia on Duality in Modal and Intuitionistic Logics, Outstanding Contributions to Logic, Vol. 4 (Springer, 2014), pp. 257–290.Google Scholar
- 9.G. K. Japaridze, The Modal Logical Means of Investigation of Provability, Thesis in Philosophy (Moscow, 1986).Google Scholar
- 10.J. J. Joosten, “Turing jumps through provability,” in Evolving Computability—11th Conference on Computability in Europe, CiE 2015, Proceedings, Lect. Notes Comput. Sci. 9136, 216–225 (2015).Google Scholar