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: Logic: Deductive and InductiveLogic: Deductive and Inductive
by - Project Gutenberg
Logic is the science that explains what conditions must be fulfilled in order that a proposition may be proved. When propositions are expressed with the universality and definiteness that belong to scientific statements, they are called laws.
(13473 views)
Book cover: Studies in Logical TheoryStudies in Logical Theory
by - The University of Chicago Press
This volume presents some results of the work done in the matter of logical theory in the Department of Philosophy of the University of Chicago in the first decade of its existence. The eleven Studies are the work of eight different hands...
(9723 views)
Book cover: Proof Theory and PhilosophyProof Theory and Philosophy
by - consequently.org
A textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly and philosophically motivated presentation.
(13105 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.
(11511 views)