**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: A Second Course**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.

(

**12102**views)

**Logical Reasoning**

by

**Bradley Dowden**-

**California State University Sacramento**

College level critical thinking textbook with solved exercises. Topics: Identifying claims, issues, arguments, and explanations. Ambiguity and vagueness. Information and fake news. Writing to convince others. Detecting fallacies. Inconsistency...

(

**3305**views)

**forall x: An Introduction to Formal Logic**

by

**P.D. Magnus**

An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.

(

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

(

**14444**views)