Logo

Introduction to Modal Logic

Small book cover: Introduction to Modal Logic

Introduction to Modal Logic
by

Publisher: UMass Amherst
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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Symbolic LogicSymbolic Logic
by - 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)
Book cover: The Origin and Significance of Hegel's LogicThe Origin and Significance of Hegel's Logic
by - 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)
Book cover: Symbolic Logic: A First CourseSymbolic Logic: A First Course
by - 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)
Book cover: Fundamental Methods of LogicFundamental Methods of Logic
by - 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)