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 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.
(5534 views)
Book cover: Logic Gallery, Aristotle to the PresentLogic Gallery, Aristotle to the Present
by - HumBox Project
Century-by-Century: Insights, Images, and Bios. The continuity and expansion of a fundamental concept. We shall attempt to indicate the way in which logic has developed from the science of reflective thinking, or reasoning, to the science of form.
(3986 views)
Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(8105 views)
Book cover: Introduction to Logic and Critical ThinkingIntroduction to Logic and Critical Thinking
by - Lansing Community College
This is an introductory textbook in logic and critical thinking. The goal is to provide the reader with skills that will enable them to identify and evaluate arguments. It is intended for an introductory course that covers formal and informal logic.
(2687 views)