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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2020

The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We…

2013

We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS…

2012

For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability…

2008

The logic of proofs LP was introduced in [3] and thoroughly studied in [1]. LP is a natural extension of the propositional…

2006

We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields…

2002

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal…

2001

The core ideas of the dialogicalapproach to modal propositional logic are explainedby means of an elementary example…

1998

Besides the well-known principles K, K4 and L, the Leivant principle ⁪(AVВ)→ ⁪(AV⁪B) and the Formalized Markov scheme ⁪ ¬¬ (⁪A…

1993

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…

1992

In this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean…