Around provability logic

Annals of Pure and Applied Logic 161 (2):174-184 (2010)
  Copy   BIBTEX

Abstract

We present some results on algebraic and modal analysis of polynomial distortions of the standard provability predicate in Peano Arithmetic PA, and investigate three provability-like modal systems related to the Gödel–Löb modal system GL. We also present a short review of relational and topological semantics for these systems, and describe the dual category of algebraic models of our main modal system

Categories

Keywords

Reprint years

2009

DOI

10.1016/j.apal.2009.05.013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.
Propositional Provability Logics.Seyed Ahmad Mirsanei & Lotfollah Nabavi - 2022 - Philosophical Thought 1 (4):313-339.
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.
Non–well-founded derivations in the gödel-löb provability logic.Daniyar Shamkanov - 2020 - Review of Symbolic Logic 13 (4):776-796.
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.

Analytics

Added to PP
2013-12-22

Downloads
33 (#500,033)

6 months
13 (#219,507)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Foreword.Daniele Mundici - 1998 - Studia Logica 61 (1):1-1.

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.

View all 10 references / Add more references