Modal Logic An Introduction

簡介

目錄

PART I
1 Introduction
1.1 Truth and possible worlds Exercises
1.2 The system S5 Exercises
2 Logical preliminaries
2.1 Syntax Exercises
2.2 Models, truth, and validity Exercises
2.3 Filtrations Exercises Systems of modal logic Exercises
2.4 Axiomatizability Exercises
2.5 Maximality and Lindenbaum's lemma Exercises
2.6 Soundness, completeness, and canonical models Exercises
2.7 Decidability and the finite model property Exercises
PART 11
3 Standard models for modal logics
3.1 Standard models Exercises
3.2 The schemas D, T, B, 4, and 5 Exercises
3.3 The schema Gkl*Man Exercises
3.4 Generated models Exercises
3.5 Filtrations Exercises
3.6 Filtrations, continued Exercises
4 Normal systems of modal logic
4.1 Normal systems Exercises
4.2 Replacement and duality Exercises
4.3 The schemas D, T, B, 4, and 5 Exercises
4.4 Modalities Exercises
4.5 Maximal sets in normal systems Exercises
5 Determination and decidability for normal systems
5.1 Soundness Exercises
5.2 Postscript on modalities Exercises
5.3 Completeness: basic theorems Exercises
5.4 Determination Exercises
5.5 KGk,l*"ln Exercises
5.6 Decidability Exercises
6 Deontic logic
6.1 Standard deontic logic Exercises
6.2 Further principIes Exercises
Exercises
7.2 The schemas M, C, and N Exercises
7.3 Augmentation Exercises
7.4 The schemas D, T, B, 4, and 5 Exercises
7.5 Filtrations Exercises
8 Classical systems of modal logic
8.1 Classical systems Exercises
8.2 Monotonic and regular systems Exercises
8.3 Other schemas Exercises
9 Determination and decidability for classical systems
9.1 Soundness Exercises
9.2 Completeness: basic theorems Exercises
9.3 Determination Exercises
9.4 The schemas D, T, B, 4, and 5 Exercises
9.5 Decidability Exercises
10 Conditional logic
10 1 Conditionality Exercises
10.2 Conditional obligation Exercises
10.3 Conditional obligation defined Exercises