A simplification of a completeness proof of Guaspari and Solovay

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


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.



    Upload a copy of this work     Papers currently archived: 77,916

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


Added to PP

32 (#372,765)

6 months
1 (#485,121)

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