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

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

(

**9116**views)

**The Origin and Significance of Hegel's Logic**

by

**J. B. Baillie**-

**MacMillan**

The student of Hegel usually finds the Logic the most forbidding part of the System. The aim of the book is to attempt to remove the difficulties in the way of understanding the Logic, but also regarding the point of view of the System generally.

(

**7121**views)

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**7557**views)

**Fundamental Methods of Logic**

by

**Matthew Knachel**-

**University of Wisconsin Milwaukee**

Suitable for a one-semester introduction to logic/critical reasoning course. It covers a variety of topics at an introductory level. It introduces basic notions, such as arguments and explanations, deductive and inductive reasoning, etc.

(

**1131**views)