Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Yavorskiy, R.
Volume
Title
238
On Kripke-style semantics for the provability logic of Gödel’s proof predicate with quantifiers on proofs
Yavorskiy, R.
Online