A simplification of a completeness proof of Guaspari and Solovay
暂无分享，去创建一个
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.
[1] G. Boolos,et al. Self-Reference and Modal Logic , 1985 .
[2] Franco Montagna,et al. Generic generalized Rosser fixed points , 1987, Stud Logica.