Modal Logic with Descriptions

✍ Scribed by Imre Ruzsa (auth.)

• Publisher: Springer Netherlands
• Year: 2001
• Tongue: English
• Leaves: 135
• Series: Nijhoff International Philosophy Series 10
• Edition: 1
• Category: Library

✦ Table of Contents

Front Matter....Pages 1-10
The Pre-History of the Topic....Pages 11-14
The Grammar of the Q Systems....Pages 15-19
The Semantics of the Q Systems....Pages 20-25
Descriptions....Pages 26-30
Statability Atoms....Pages 31-33
Relevance Conditions....Pages 34-45
Some Irrefutable and Refutable Sentences....Pages 46-47
The Q Calculi....Pages 48-51
Basic Metatheorems on the Q Calculi....Pages 52-58
Deductions. Further Derived Rules....Pages 59-68
Consistent and Complete Sets....Pages 69-75
Hypercomplete and Compossible Sets....Pages 76-90
Alternatives and Successors of Hypercomplete Sets....Pages 91-99
Tree Structures....Pages 100-105
The Completeness Theorem....Pages 106-109
Back Matter....Pages 110-135

✦ Subjects

Logic