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
Proof Theory and Philosophyby Greg Restall - 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.
(9158 views)
Logic Gallery, Aristotle to the Presentby David Marans - 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.
(4841 views)
Logic: Deductive and Inductiveby Carveth Read - 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.
(9147 views)
Deductive Logicby St. George Stock - Longmans
The author's object has been to produce a work which should be thoroughly representative of the present state of the logic of the Oxford Schools. The qualities which he aimed at before all others were clearness and consistency.
(8588 views)