Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Interpretability logic
Japaridze's polymodal logic
Kripke semantics
Löb's theorem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The $\Sigma$_1 Provability Logic of HA
Mohammad Ardeshir
,
S. Mojtahedi
2014
Corpus ID: 119324534
For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the…
Expand
2013
2013
On the proof-theory of a first-order extension of GL
Yehuda Schwartz
,
G. Tourlakis
2013
Corpus ID: 46914099
We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS…
Expand
2012
2012
Kripke Models of Transfinite Provability Logic
D. Fernández-Duque
,
J. Joosten
Advances in Modal Logic
2012
Corpus ID: 15064206
For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability…
Expand
2002
2002
Refutations, Proofs, and Models in the Modal Logic K4
Tomasz F. Skura
Studia Logica: An International Journal for…
2002
Corpus ID: 34713861
In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal…
Expand
2001
2001
How To Extend The Dialogical Approach To Provability Logic
U. Nortmann
Synthese
2001
Corpus ID: 35721767
The core ideas of the dialogicalapproach to modal propositional logic are explainedby means of an elementary example…
Expand
1998
1998
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic
Rosalie Iemhoff
Advances in Modal Logic
1998
Corpus ID: 45550291
Besides the well-known principles K, K4 and L, the Leivant principle (AVВ)→ (AVB) and the Formalized Markov scheme ¬¬ (A…
Expand
1993
1993
The Logic of the Gödel Proof Predicate
Sergei N. Artëmov
,
Tyko Straßen
Kurt Gödel Colloquium
1993
Corpus ID: 45651970
We discuss the logics of the operators “p is a proof of A” and “p is a proof containing A” for the standard Godel proof predicate…
Expand
1992
1992
Provability Logic in the Gentzen Formulation of Arithmetic
P. Gentilini
Mathematical Logic Quarterly
1992
Corpus ID: 744794
In this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean…
Expand
1992
1992
The Basic Logic of Proofs
Sergei N. Artëmov
,
Tyko Straßen
Annual Conference for Computer Science Logic
1992
Corpus ID: 5226667
Propositional Provability Logic was axiomatized in [5]. This logic describes the behaviour of the arithmetical operator “y is…
Expand
1992
1992
An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
A. Visser
Journal of Symbolic Logic (JSL)
1992
Corpus ID: 17922878
Abstract In this paper I give a characterization of the closed fragment of the provability logic of I Δ0 + EXP with a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE