Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Joosten, Joost J.
Volume
Title
247
Propositional proof systems and fast consistency provers
Joosten, Joost J.
240
A finitary treatment of the closed fragment of Japaridze’s provability logic
Beklemishev, L.D.
|
Joosten, Joost J.
|
Vervoort, M.
226
Modal matters in interpretability logics
Goris, E.
|
Joosten, Joost J.
218
The closed fragment of the interpretability logic of PRA with a constant for IΣ1
Joosten, Joost J.
217
Two proofs of Parsons’ Theorem
Joosten, Joost J.
197
The Interpretability Logic of all Reasonable Arithmetical Theories. The New Conjecture
Joosten, Joost J.
|
Visser, Albert
Online