Logics of Provability

&
In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 191-237 (2012)
  Copy   BIBTEX

Abstract

Provability logics are, roughly speaking, modal logics meant to capture the formal principles of various provability operators or predicates.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-77434-3_9

Links

PhilArchive



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

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

Logics of Provability. [REVIEW]Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110 - 116.
On the degrees of unsolvability of modal predicate logics of provability.Vann McGee - 1994 - Journal of Symbolic Logic 59 (1):253-261.
On Arithemtical Completeness of First-Order Logics of Provability.Rostislav E. Yavorsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-16.
On Arithemtical Completeness of First-Order Logics of Provability.Rostislav E. Yavorsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-16.
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Kristina Brantley - 2020 - Bulletin of Symbolic Logic 26 (3-4):296-296.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.
Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.

Analytics

Added to PP
2023-06-03

Downloads
4 (#1,645,937)

6 months
4 (#1,006,062)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Rafal Urbaniak
University of Gdansk
Pawel Pawlowski
Ghent University

Citations of this work

Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.

Add more citations

References found in this work

No references found.

Add more references