4059 results in Logic
Index of names
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 261-261
-
- Chapter
- Export citation
4 - Proof search
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 64-79
-
- Chapter
- Export citation
12 - Elements of the proof theory of arithmetic
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 177-192
-
- Chapter
- Export citation
PART I - First steps in logical reasoning
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 1-2
-
- Chapter
- Export citation
6 - Proof search in classical logic
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 89-95
-
- Chapter
- Export citation
Index of subjects
-
- Book:
- Elements of Logical Reasoning
- Published online:
- 05 June 2014
- Print publication:
- 23 January 2014, pp 262-264
-
- Chapter
- Export citation
9 - Completeness Using Canonical Models
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 193-208
-
- Chapter
- Export citation
Contents
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp v-x
-
- Chapter
- Export citation
7 - Converting Trees to Proofs
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 134-169
-
- Chapter
- Export citation
16 - Completeness of Quantified Modal Logics Using Trees
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 354-362
-
- Chapter
- Export citation
8 - Adequacy of Propositional Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 170-192
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp i-iv
-
- Chapter
- Export citation
Bibliography of Works Cited
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 477-480
-
- Chapter
- Export citation
6 - Trees for Extensions of K
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 114-133
-
- Chapter
- Export citation
Preface
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp xiii-xvi
-
- Chapter
- Export citation
17 - Completeness Using Canonical Models
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 363-382
-
- Chapter
- Export citation
2 - Extensions of K
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 38-56
-
- Chapter
- Export citation
Preface to the Second Edition
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp xi-xii
-
- Chapter
- Export citation
15 - The Adequacy of Quantified Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 321-353
-
- Chapter
- Export citation
20 - Conditionals
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 430-462
-
- Chapter
- Export citation