# Provability logic

Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture theâ€¦Â (More)
Wikipedia

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
• J. Symb. Log.
• 2013
For any ordinal Î›, we can define a polymodal logic GLPÎ›, with a modality [Î¾] for each Î¾ < Î›. These represent provabilityâ€¦Â (More)
Is this relevant?
2012
2012
Several interesting applications of provability logic in proof theory made use of a polymodal logic GLP due to Giorgi Japaridzeâ€¦Â (More)
Is this relevant?
2012
2012
• 2012
For any ordinal Î›, we can define a polymodal logic GLPÎ›, with a modality [Î¾] for each Î¾ < Î›. These represent provabilityâ€¦Â (More)
Is this relevant?
2011
2011
• ArXiv
• 2011
We present constructive provability logic, an intuitionstic modal logic that validates the LÃ¶b rule of GÃ¶del and LÃ¶bâ€™sâ€¦Â (More)
Is this relevant?
2009
2009
We establish the bi-modal forgetful projection of the Logic of Proofs and Formal Provability GLA. That is to say, we present aâ€¦Â (More)
Is this relevant?
2008
2008
• 2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL whereâ€¦Â (More)
Is this relevant?
2007
2007
In this paper we answer the question what implicit proof assertions in the provability logic GL can be realized by explicit proofâ€¦Â (More)
Is this relevant?
Review
2004
Review
2004
This is an introductory paper about provability logic, a modal propositional logic in which necessity is interpreted as formalâ€¦Â (More)
Is this relevant?
1993
1993
We say that two arithmetical formulas A, B have the E,-inferpolafion property if they have an â€˜interpolantâ€™ o, i.e., a Z, formulaâ€¦Â (More)
Is this relevant?
1993
1993
• Ann. Pure Appl. Logic
• 1993
Berarducci, A. and R. Verbrugge, On the provability logic of bounded arithmetic, Annals of Pure and Applied Logic 61 (1993) 75-93â€¦Â (More)
Is this relevant?