A simplification of a completeness proof of Guaspari and Solovay (Q1099164): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Q593409 / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Sergej N. Artemov / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Generic generalized Rosser fixed points / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Rosser sentences / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00370380 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1977861517 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 10:45, 30 July 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
