A New Introduction to Modal Logic

Front Cover
Psychology Press, 1996 - Philosophy - 421 pages
0 Reviews
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 THE BASIC NOTIONS
3
2 THE SYSTEMS K T AND D
19
3 THE SYSTEMS S4 S5 B TRIV AND VER
43
4 TESTING FOR VALIDITY
61
5 CONJUNCTIVE NORMAL FORM
80
6 COMPLETENESS
95
PART II NORMAL MODAL SYSTEMS
107
7 CANONICAL MODELS
109
PART III MODAL PREDICATE LOGIC
201
13 THE LOWER PREDICATE CALCULUS
203
14 THE COMPLETENESS OF MODAL LPC
222
15 EXPANDING DOMAINS
238
16 MODALITY AND EXISTENCE
252
17 IDENTITY AND DESCRIPTIONS
273
18 INTENSIONAL OBJECTS
288
19 FURTHER ISSUES
305

8 FINITE MODELS
124
9 INCOMPLETENESS
136
10 FRAMES AND SYSTEMS
147
11 STRICT IMPLICATION
165
12 GLIMPSES BEYOND
180
AXIOMS RULES AND SYSTEMS
314
SOLUTIONS TO SELECTED EXERCISES
324
BIBLIOGRAPHY
340
INDEX
352
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

About the author (1996)

Adriane Rini is a Senior Lecturer in Philosophy at Massey University, New Zealand. She is the author of Aristotle's Modal Proofs (2011).

Bibliographic information