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

**Studies and Exercises in Formal Logic**

by

**John Neville Keynes**-

**The Macmillan Company**

In addition to a detailed exposition of certain portions of Formal Logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes.

(

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

(

**9854**views)

**Symbolic Logic**

by

**Lewis Carroll**-

**Macmillan and co**

Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.

(

**13481**views)

**Language, Proof and Logic**

by

**Jon Barwise, John Etchemendy**-

**Center for the Study of Language**

The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.

(

**16679**views)