Essentially Sigma-1 formulae in Sigma L
Jacob Vosmaer
Abstract:
The essentially $\Sigma_1$ formulae of $\Sigma$L are exactly those
which are provably equivalent to a disjunction of conjunctions of
$\Box$ and $\Sigma_1$ formulae.
Keywords: provability logic; interpretability logic