Towards the Interpretability Logic of IΔo+EXP
Publication date
1991-01
Authors
Kalsbeek, M.B.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
No license information available
Abstract
We provide principles for the Interpretability Logic of IΔo+EXP
Keywords
provability logic, interpretability, fragments of arithmetic