A New Introduction to Modal Logic

A New Introduction to Modal Logic

by M.J. Cresswell, G.E. Hughes
     
 

ISBN-10: 0415125995

ISBN-13: 9780415125994

Pub. Date: 09/20/1996

Publisher: Taylor & Francis

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.
A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both

…  See more details below

Overview

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.
A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works.
The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

Product Details

ISBN-13:
9780415125994
Publisher:
Taylor & Francis
Publication date:
09/20/1996
Pages:
432
Product dimensions:
5.50(w) x 8.50(h) x 1.13(d)
Age Range:
18 Years

Related Subjects

Table of Contents

Preface
1The Basic Notions3
2The Systems K, T and D23
3The Systems S4, S5, Triv and Ver51
4Testing for validity72
5Conjunctive Normal Form94
6Completeness111
7Canonical Models127
8Finite Models145
9Incompleteness159
10Frames and Systems172
11Strict Implication193
12Glimpses Beyond210
13The Lower Predicate Calculus235
14The Completeness of Modal LPC256
15Expanding Domains274
16Modality and Existence289
17Identity and Descriptions312
18Intensional Objects330
19Further Issues349
Axioms, Rules and Systems359
Solutions to Selected Exercises369
Bibliography384
Index398

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >