Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Abstract For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability… 
2010
2010
We present a novel formulation of the modal logic CPL, a constructive logic of provability that is closely connected to the G… 
2010
2010
  • M. Duží
  • J. Philos. Log.
  • 2010
  • Corpus ID: 16168379
The classical theory of semantic information (ESI), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory… 
Highly Cited
2005
Highly Cited
2005
A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented… 
2005
2005
We study a propositional polymodal provability logic GLP introduced by G. Japaridze. The previous treatments of this logic, due… 
Highly Cited
2004
Highly Cited
2004
  • L. Esakia
  • Ann. Pure Appl. Log.
  • 2004
  • Corpus ID: 46406166
Review
1996
Review
1996
  • A. Visser
  • Advances in Modal Logic
  • 1996
  • Corpus ID: 15538301
A miracle happens. In one hand we have a class of marvelously complex theories in predicate logic, theories with 'sufficient… 
Highly Cited
1993
Highly Cited
1993
PA is Peano Arithmetic. Pr(x) is the usual Σ1,-formula representing provability in PA. A strong provability predicate is a… 
1990
1990
Some basic theorems about provability logic ― the system of modal logic that reflects the behavior of formalized provability…