4059 results in Logic
2 - Extensions of K
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 38-56
-
- Chapter
- Export citation
Contents
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp vii-xii
-
- Chapter
- Export citation
Modal Logic for Philosophers
-
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006
9 - Completeness Using Canonical Models
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 195-210
-
- Chapter
- Export citation
Introduction: What Is Modal Logic?
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 1-2
-
- Chapter
- Export citation
16 - Completeness of Quantified Modal Logics Using Trees
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 356-364
-
- Chapter
- Export citation
8 - Adequacy of Propositional Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 172-194
-
- Chapter
- Export citation
19 - Lambda Abstraction
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 409-431
-
- Chapter
- Export citation
18 - Descriptions
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 385-408
-
- Chapter
- Export citation
5 - The Accessibility Relation
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 93-115
-
- Chapter
- Export citation
3 - Basic Concepts of Intensional Semantics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 57-71
-
- Chapter
- Export citation
11 - Relations between the Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 221-227
-
- Chapter
- Export citation
15 - The Adequacy of Quantified Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 323-355
-
- Chapter
- Export citation
1 - The System K: A Foundation for Modal Logic
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 3-37
-
- Chapter
- Export citation
6 - Trees for Extensions of K
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 116-135
-
- Chapter
- Export citation
10 - Axioms and Their Corresponding Conditions on R
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 211-220
-
- Chapter
- Export citation
Preface
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp xiii-xvi
-
- Chapter
- Export citation
Bibliography of Works Cited
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 445-448
-
- Chapter
- Export citation
12 - Systems for Quantified Modal Logic
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 228-264
-
- Chapter
- Export citation
13 - Semantics for Quantified Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 09 January 2010
- Print publication:
- 14 August 2006, pp 265-302
-
- Chapter
- Export citation