Topological Interpretations of Provability Logic-Reference-Cited by-同舟云学术

Topological Interpretations of Provability Logic

Published:2014 Issue: Volume: Page:257-290
ISSN:2211-2758
Container-title:Leo Esakia on Duality in Modal and Intuitionistic Logics
language:
Short-container-title:

Author:

Beklemishev Lev,Gabelaia David

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-8860-1_10

Reference59 articles.

1. Abashidze M (1985) Ordinal completeness of the Gödel-Löb modal system. In: Intensional logics and the logical structure of theories. Metsniereba, Tbilisi, pp 49–73 (Russian)

2. Artemov S, Beklemishev L (2004) Provability logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 13, 2nd edn. Kluwer, Dordrecht, pp 229–403

3. Bagaria J (2012) Topologies on ordinals and the completeness of polymodal provability logic (in preparation)

4. Bagaria J, Magidor M, Sakai H (2012) Reflection and indescribability in the constructible universe. Manuscript, To appear in Israel Journal of Mathematics

5. Beklemishev L, Gabelaia D (2013) Topological completeness of the provability logic glp. Ann Pure Appl Logic 128(12):1201–1223

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Topological Mu-Calculus: Completeness and Decidability;Journal of the ACM;2023-10-11

2. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

3. COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES;The Journal of Symbolic Logic;2023-02-23

4. A topological completeness theorem for transfinite provability logic;Archive for Mathematical Logic;2023-02-22

5. The introduction of topology into analytic philosophy: two movements and a coda;Synthese;2022-05-05