Journal of Logic and Computation

Journal of Logic and Computation Advance Access published online on August 12, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp043

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Icard, T. Social Bookmarking          What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

A Topological Study of the Closed Fragment of GLP

Thomas Icard

Department of Philosophy, Stanford University, Stanford, California, USA.
E-mail: icard{at}stanford.edu

Received 2 February 2009.

In this article, we study the canonical model for the closed fragment of GLP and establish its precise relationship with a universal model constructed by Ignatiev. In particular, we effectively characterize the canonical model in terms of a coordinate system based on sequences of ordinals up to ₀.We then define a simple topological model of this logic by defining a natural polytopology on the ordinal ₀ itself.

References

1. Abashidze M. Ordinal completeness of the Gödel-Löb modal system (Russian). In: Intensional Logics and the Logical Structure of Theories (1985) Metsniereba. 49–73.
2. Beklemishev LD. Kripke semantics for provability logic GLP. (2007) November. University of Utrecht. In Logic Group Preprint Series 260. Available at http://preprints.phil.uu.nl/lgps/. To appear in Annals of Pure and Applied Logic.
3. Beklemishev LD. Provability algebras and proof-theoretic ordinals, I. Annals of Pure and Applied Logic (2004) 128:103–123.[CrossRef][Web of Science]
4. Beklemishev LD. Reflection principles and provability algebras in formal arithmetic (Russian). Uspehi Matematicheskih Nauk (2005) 60:3–78.
5. Beklemishev LD. Veblen hierarchy in the context of provability algebras. In: Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth International Congress—Hájek P, Valdés-Villanueva L, Westerstøahl D, eds. (2005) Kings College Publications. 65–78.
6. Beklemishev LD, Bezhanishvili G, Icard T. On topological models of GLP. In: Logic Group Preprint Series (2009) July. University of Utrecht. Available at http://www.phil.uu.nl/preprints/lgps/.
7. Beklemishev LD, Joosten JJ, Vervoort M. A finitary treatment of the closed fragment of Japaridze's provability logic. Journal of Logic and Computation (2005) 14:447–463.[Web of Science]
8. Blackburn P, de Rijke M, Venema Y. Modal Logic (2001) Cambridge University Press.
9. Blass A. Infinitary combinatorics and modal logic. Journal of Symbolic Logic (1990) 55:761–778.[CrossRef][Web of Science]
10. Chagrov A, Zakharyaschev M. Modal Logic (1997) Oxford University Press.
11. Esakia L. Diagonal constructions, Löb's formula and Cantor's scattered space (Russian). In: Studies in logic and semantics (1981) Metsniereba. 128–143.
12. Icard T. Models of the Polymodal Provability Logic (2008) ILLC, Universiteit van Amsterdam: Master's Thesis.
13. Ignatiev KN. On strong provability predicates and the associated modal logics. Journal of Symbolic Logic (1993) 58:249–290.[CrossRef][Web of Science]
14. Ignatiev KN. The closed fragment of Japaridze's polymodal logic and the logic of ₁-conservativity. In: ITLI Prepublication Series for Mathematical Logic and Foundations (1992).
15. Willard S. General Topology (1970) AddisonWesley Longman.

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Icard, T. Social Bookmarking          What's this?