PP-2007-02: Essentially Sigma-1 formulae in Sigma L

PP-2007-02: Vosmaer, Jacob (2007) Essentially Sigma-1 formulae in Sigma L. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (182kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (284B)


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.

Item Type: Report
Report Nr: PP-2007-02
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: provability logic; interpretability logic
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/236

Actions (login required)

View Item View Item