You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
A Simplification of a Completeness Proof of Guaspari and Solovay
Dick H. J. de Jongh
Studia Logica: An International Journal for Symbolic Logic
Vol. 46, No. 2 (1987), pp. 187-192
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015306
Page Count: 6
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1987 Springer