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

Related topics

Related topics

9 relations
Interpretability logicJaparidze's polymodal logicKripke semanticsLöb's theorem
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Models of transfinite provability logic
For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability… (More)
Is this relevant?
2012
2012
Calibrating Provability Logic: From Modal Logic to Reflection Calculus
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
Kripke Models of Transfinite Provability Logic
For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability… (More)
Is this relevant?
2011
2011
Constructive Provability Logic
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
A modal provability logic of explicit and implicit proofs
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
Valentini's cut-elimination for provability logic resolved
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
Explicit Proofs in Formal Provability Logic
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
On Provability Logic
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
The Provability Logic for sigma1-Interpolability
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
On the Provability Logic of Bounded Arithmetic
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?