# Provability logic

## 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

- Advances in Modal Logic
- 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

- Advances in Modal Logic
- 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

- Ann. Pure Appl. Logic
- 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

- Advances in Modal Logic
- 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

- LFCS
- 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

- 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

- Ann. Pure Appl. Logic
- 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?