A simplification of a completeness proof of Guaspari and Solovay (Q1099164): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q392269 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Sergej N. Artemov / rank | |||
Normal rank | |||
Revision as of 08:40, 14 February 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
