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
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
For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability… (More)
Is this relevant?
2011
2011
We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb’s… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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)
  • figure 2
  • figure 3
Is this relevant?
2008
2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where… (More)
  • table 1
  • table 2
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)
  • figure 1
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)
  • table 1
  • figure 1
  • figure 2
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
Berarducci, A. and R. Verbrugge, On the provability logic of bounded arithmetic, Annals of Pure and Applied Logic 61 (1993) 75-93… (More)
  • figure 1
Is this relevant?