A simplification of a completeness proof of Guaspari and Solovay

Studia Logica 46 (2):187 - 192 (1987)
  Copy   BIBTEX

Abstract

The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R – are improved and the relationship between R and R – is clarified.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,662

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
32 (#362,446)

6 months
1 (#419,921)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Rosser Sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.

Add more references