You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
A Łukasiewicz-Style Refutation System for the Modal Logic S4
Journal of Philosophical Logic
Vol. 24, No. 6 (Dec., 1995), pp. 573-582
Published by: Springer
Stable URL: http://www.jstor.org/stable/30227230
Page Count: 10