Provability logics with quantifiers on p
β
Rostislav E. Yavorsky
π
Article
π
2001
π
Elsevier Science
π
English
β 124 KB
We study here extensions of the Artemov's logic of proofs in the language with quantiΓΏers on proof variables. Since the provability operator A could be expressed in this language by the formula βu[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the