An inside view of EXP, or the closed fragment of the provability logic of I→DN⇋ 0 →O⇋ with a propositional constant for EXP / Albert Visser
mainEntity
An inside view of EXP, or the closed fragment of the provability logic of I→DN⇋ 0 →O⇋ with a propositional constant for EXP / Albert Visser
about
author
inLanguage
mainEntityOfPage
name
An inside view of EXP, or the ...... propositional constant for EXP
numberOfPages
publication
sameAs
label
An inside view of EXP, or the ...... nstant for EXP / Albert Visser