You are not currently logged in.
Access JSTOR through your library or other institution:
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