Towards the Interpretability Logic of IΔo+EXP

DSpace/Manakin Repository

Towards the Interpretability Logic of IΔo+EXP
 
Kalsbeek, M.B.
(1991) Logic Group Preprint Series, volume 61
(Preprint)
Abstract
We provide principles for the Interpretability Logic of IΔo+EXP
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: provability logic, interpretability, fragments of arithmetic
 
 
See more statistics about this item