**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.

(

**8075**views)

**Proof Theory and Philosophy**

by

**Greg Restall**-

**consequently.org**

A textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly and philosophically motivated presentation.

(

**10924**views)

**Principles of Logic**

by

**George Hayward Joyce**-

**Longmans**

This work is an attempt at a presentment of what is frequently termed the Traditional Logic, and is intended for those who are making acquaintance with philosophical questions for the first time. Logic is the theory of the mind's rational processes.

(

**10421**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.

(

**6724**views)