Modal Logic*

Copyright, 1973-2002 by J. Jay Zeman

The Lewis-Modal Systems

Page Finder

Preface

Expanded Contents

1: A Note on Notation

2: Groundwork - The Propositional Calculus

3: Groundwork - Propositional Sequent-Logic

4: Groundwork - Propositional Logic and Tableaux

5: The Absolutely Strict Systems - S1 and S1

6: The Absolutely Strict Systems - S2, S2, T and T

7: The Absolutely Strict Systems - Alternative Formulations

8: The Absolutely Strict Systems - Modal Sequent-Logic

9: The Absolutely Strict Systems - Tableaux

10: The Systems of Complete Modalization - S3 and S3

11: The Systems of Complete Modalization - S4, S4, and S5

12: The Systems of Complete Modalization - Alternative Formulations

13: The Systems of Complete Modalization - Sequent-Logic, the Basic Systems

14: The Systems of Complete Modalization - Basic Systems of Tableaux

15: The Systems of Complete Modalization - The S4-S5 Spectrum and Related Systems

Appendix: Bases for Key Systems and Structures Studied in this Book

Bibliography

Originally Published: Oxford: The Clarendon Press, 1973