5570 results in Programming Languages and Applied Logic
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
Index
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 481-488
-
- Chapter
- Export citation
Answers to Selected Exercises
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 463-476
-
- Chapter
- Export citation
5 - The Accessibility Relation
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 93-113
-
- Chapter
- Export citation
1 - The System K: A Foundation for Modal Logic
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 3-37
-
- Chapter
- Export citation
14 - Trees for Quantified Modal Logic
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 301-320
-
- Chapter
- Export citation
10 - Axioms and Their Corresponding Conditions on R
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 209-218
-
- Chapter
- Export citation
11 - Relationships between the Modal Logics
-
- Book:
- Modal Logic for Philosophers
- Published online:
- 05 June 2014
- Print publication:
- 25 November 2013, pp 219-225
-
- Chapter
- Export citation