《Kripke- A Completeness Theorem in Modal Logic (paper) 1959》.pdf

A Completeness Theorem in Modal Logic STOR Saul A. Kripke Journal ofSymbolic Logic, Volume 24, Issue 1 (Mar., 1959), 1-14. Your use of the JSTOR database indicates your acceptance of JSTORs Terms and Conditions of Use. A copy of JSTORs Terms and Conditions of Use is available at /aboutiterms.html, by contacting JSTOR atjstor-info@, or by calling JSTOR at (888)388-3574, (734)998-9101 or (FAX) (734)998-9113. No part of a JSTOR transmission may be copied, downloaded, stored, further transmitted, transferred, distributed, altered, or otherwise used, in any form or by any means, except: (1) one stored electronic and one paper copy of any article solely for your personal, non-commercial use, or (2) with prior written permission of JSTOR and the publisher of the article or other text. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. Journal ofSymbolic Logic is published by Association for Symbolic Logic. Please contact the publisher for further permissions regarding the use of this work. Publisher contact information may be obtained at /joumals/asl.html. Journal ofSymbolic Logic ©1959 Association for Symbolic Logic JSTOR and the JSTOR logo are trademarks of JSTOR, and are Registered in the U.S. Patent and Trademark Office. For more information on JSTOR contactjstor-info@. ©2001 JSTOR http://www .j / Wed May 23 18:48:07 2001 THE JOURNAL OF SYIIBOLlC LOGlC Volume 24, Number I, March 1959 A COMPLETENESS THEOREM IN MOD4L LOGIO SA