A simplification of a completeness proof of Guaspari and Solovay (Q1099164): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 01:31, 31 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simplification of a completeness proof of Guaspari and Solovay |
scientific article |
Statements
A simplification of a completeness proof of Guaspari and Solovay (English)
0 references
1987
0 references
The paper studies Kripke style models for the Guaspari-Solovay modal systems R and R - [\textit{D. Guaspari} and \textit{R. Solovay}, Ann. Math. Logic 16, 81-99 (1979; Zbl 0426.03062)]. These systems enables one to study Rosser sentences in a propositional context. The relationship between R and R - is clarified: \(R\vdash A\) iff for some \(n\in \omega\), R -\(\vdash \square\) nA.
0 references
provability
0 references
modal logic
0 references
Kripke style models
0 references
Guaspari-Solovay modal systems
0 references
Rosser sentences
0 references
