**Introduction to Modal Logic**

by Gary Hardegree

**Publisher**: UMass Amherst 2009**Number of pages**: 275

**Description**:

Contents: Basic Concepts; Classical SL; Absolute Modal Logic - System L; Relative Modal Logic - System K; Systems Between K and L; Modal Predicate Logic; General First-Order Logic; First-Order Modal Logic; First-Order Modal Logic with Actuality; Two-Dimensional Modal Logic; Second-Order Modal Logic; Syntax of Modal Logic; Rules of Derivation; Categorial Grammar; Multi-Modal Systems.

Download or read it online for free here:

**Download link**

(multiple PDF files)

## Similar books

**The Origin and Growth of Plato's Logic**

by

**Wincenty Lutosawski**-

**Longmans, Green and co.**

In undertaking the investigations summarized in this volume, the author's chief aim was to explain the origin of Logic by a psychological study of the first logician. This required a knowledge of the chronology of Plato's writings.

(

**5534**views)

**Logic Gallery, Aristotle to the Present**

by

**David Marans**-

**HumBox Project**

Century-by-Century: Insights, Images, and Bios. The continuity and expansion of a fundamental concept. We shall attempt to indicate the way in which logic has developed from the science of reflective thinking, or reasoning, to the science of form.

(

**3986**views)

**A Second Course in Logic**

by

**Christopher Gauker**-

**University of Cincinnati**

This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.

(

**8105**views)

**Introduction to Logic and Critical Thinking**

by

**Matthew Van Cleave**-

**Lansing Community College**

This is an introductory textbook in logic and critical thinking. The goal is to provide the reader with skills that will enable them to identify and evaluate arguments. It is intended for an introductory course that covers formal and informal logic.

(

**2687**views)