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: 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.
(9266 views)
Book cover: The Origin and Growth of Plato's LogicThe Origin and Growth of Plato's Logic
by - Longmans, Green and co.
In undertaking the investigations summarized in this volume, the author's chief aim was to explain the origin of Logic by a psychological study of the first logician. This required a knowledge of the chronology of Plato's writings.
(7294 views)
Book cover: The Art of Logical ThinkingThe Art of Logical Thinking
by - The Progress company
By the employment of the reasoning faculties of the mind we compare objects presented to the mind as percepts or concepts, taking up the raw materials of thought and weaving them into complex mental fabrics which we call abstract ideas of truth.
(9796 views)
Book cover: Elements of Deductive LogicElements of Deductive Logic
by - University of Adelaide
This textbook covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written for an introductory logic course.
(2960 views)