Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

9 relations
Interpretability logicJaparidze's polymodal logicKripke semanticsLöb's theorem
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Positive provability logic for uniform reflection principles
We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant… Expand
Is this relevant?
2012
2012
On the positive fragment of the polymodal provability logic GLP
The fragment of the polymodal provability logic GLP in the language with connectives ┬, Λ, and 〈n〉 for all n ∈ ω is considered… Expand
Is this relevant?
2010
2010
Principles of Constructive Provability Logic
We present a novel formulation of the modal logic CPL, a constructive logic of provability that is closely connected to the G… Expand
  • figure 1
Is this relevant?
2008
2008
Valentini's cut-elimination for provability logic resolved
In 1983, Valentini presented a syntactic proof of cut-elimi nation for a sequent calculus GLSV for the provability logic GL where… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Proof Analysis in Modal Logic
  • S. Negri
  • J. Philos. Log.
  • 2005
    • Corpus ID: 12187857
A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented… Expand
  • table I
  • table II
  • table III
Is this relevant?
2004
2004
Intuitionistic logic and modality via topology
  • L. Esakia
  • Ann. Pure Appl. Log.
  • 2004
    • Corpus ID: 46406166
Abstract In the pioneering article and two papers, written jointly with McKinsey, Tarski developed the so-called algebraic and… Expand
Is this relevant?
2001
2001
Logic of proofs and provability
In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality □ for provability… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
On Strong Provability Predicates and the Associated Modal Logics
PA is Peano Arithmetic. Pr( x ) is the usual Σ 1 ,-formula representing provability in PA. A strong provability predicate is a… Expand
Is this relevant?
1993
1993
On the Provability Logic of Bounded Arithmetic
In this paper we develop techniques to build various sets of highly undecidable sentences in Ido + i2,. Our results stem from an… Expand
  • figure 1
Is this relevant?
1990
1990
Characters and Fixed Points in Provability Logic
Some basic theorems about provability logic ― the system of modal logic that reflects the behavior of formalized provability… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE