5571 results in Programming Languages and Applied Logic
12 - Filtrations
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 157-168
-
- Chapter
- Export citation
Contents
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp v-x
-
- Chapter
- Export citation
First Steps in Modal Logic
-
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994
III - Proof theory and completeness
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 89-90
-
- Chapter
- Export citation
14 - SLL logic
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 187-200
-
- Chapter
- Export citation
V - More advanced material
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 185-186
-
- Chapter
- Export citation
8 - Standard formal systems
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 97-118
-
- Chapter
- Export citation
6 - The general confluence result
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 77-88
-
- Chapter
- Export citation
4 - Valuation and satisfaction
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 39-60
-
- Chapter
- Export citation
3 - Labelled transition structures
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 25-38
-
- Chapter
- Export citation
IV - Model constructions
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 139-140
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp i-iv
-
- Chapter
- Export citation
B - Some solutions to the exercises
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 247-310
-
- Chapter
- Export citation
5 - Correspondence theory
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 61-76
-
- Chapter
- Export citation
13 - The finite model property
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 169-184
-
- Chapter
- Export citation
II - Transition structures and semantics
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 23-24
-
- Chapter
- Export citation
7 - Other Operations on Lists
-
- Book:
- Foundations of Parallel Programming
- Published online:
- 25 October 2009
- Print publication:
- 01 December 1994, pp 75-88
-
- Chapter
- Export citation
Preface
-
- Book:
- Foundations of Parallel Programming
- Published online:
- 25 October 2009
- Print publication:
- 01 December 1994, pp xi-xii
-
- Chapter
- Export citation
2 - Approaches to Parallel Software Development
-
- Book:
- Foundations of Parallel Programming
- Published online:
- 25 October 2009
- Print publication:
- 01 December 1994, pp 3-14
-
- Chapter
- Export citation
B - Historical Background
-
- Book:
- Foundations of Parallel Programming
- Published online:
- 25 October 2009
- Print publication:
- 01 December 1994, pp 177-178
-
- Chapter
- Export citation