Journal of Symbolic Logic

Review: William H. Hanson, On Some Alleged Decision Procedures for S4

A. Bayart
Source: J. Symbolic Logic Volume 35, Issue 2 (1970), 326.

Reviewed Works:

William H. Hanson, On Some Alleged Decision Procedures for S4.

Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183737191
JSTOR: links.jstor.org


2013 © Association for Symbolic Logic

Journal of Symbolic Logic

Journal of Symbolic Logic

Turn MathJax Off
What is MathJax?