An inside view of EXP or the closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP
DSpace/Manakin Repository
An inside view of EXP or the closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP
(1989) Logic Group Preprint Series, volume 43
(Research paper)
Download/Full Text
See more statistics about this item