دانلود کتاب Modal Logic and Classical Logic

فهرست مطالب :

Part 1. A Short Survey of Propositional Modal Logic

I. Historical Background
II. Possible Worlds Semantics
III. Definability
IV. Modal Algebras
V. Axiomatic Theories
VI. Completeness

Part 2. First-Order Definability of Modal Formulas

VII. Local and Global First-Order Definability
VIII. A Model-Theoretic Characterization of First-Order Definability
IX. The Method of Substitutions
X. Disproving First-Order Definability
XI. Relative First-Order Definability
XII. Modal Predicate Logic
XIII. Preservation Classes of Modal Formulas

Part 3. Modal Definability

XIV. Modally Definable Elementary Classes of Frames
XV. Preservation Results for First-Order Formulas
Appendix: Tense Logic
XVI. Modally Definable Classes of Frames
Appendix: Higher-Order Correspondence

Part 4. Higher-Order Definability

XVII. Universal Second-Order Sentences
XVIII. Second-Order Logic
XIX. The Theory of Finite Types

Bibliography