A simplification of a completeness proof of Guaspari and Solovay (Q1099164)
From MaRDI portal
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
