product iamge

Modal Logic and Classical Logic

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The present work is a rewritten version of van Benthem's dissertation ``Modal Correspondence Theory'' (University of Amsterdam, 1976) and a supplementary report called ``Modal Logic as Second-Order Logic'' (University of Amsterdam, 1977).

Author(s): Johan van Benthem
Series: Indices. Monographs in Philosophical Logic and Formal Linguistics, volume 3
Publisher: Bibliopolis
Year: 1983

Language: English
Commentary: Scanned, DjVu'ed, OCR'ed by Envoy
Pages: 217

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