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
Formal Logic
- Wikibooks
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(9818 views)
- Wikibooks
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(9818 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.
(9296 views)
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.
(9296 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.
(10586 views)
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.
(10586 views)
An Illustrated Book of Bad Arguments
by Ali Almossawi, Alejandro Giraldo - bookofbadarguments.com
This book is aimed at newcomers to the field of logical reasoning, particularly those who understand best through visuals. The reader will learn from these pages some of the most common pitfalls in arguments and be able to identify and avoid them.
(3890 views)
by Ali Almossawi, Alejandro Giraldo - bookofbadarguments.com
This book is aimed at newcomers to the field of logical reasoning, particularly those who understand best through visuals. The reader will learn from these pages some of the most common pitfalls in arguments and be able to identify and avoid them.
(3890 views)