5571 results in Programming Languages and Applied Logic
Frontmatter
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp i-iv
-
- Chapter
- Export citation
Index
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 207-212
-
- Chapter
- Export citation
5 - Truth-functional Belief
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 52-65
-
- Chapter
- Export citation
2 - Analysis techniques for Petri nets
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 13-40
-
- Chapter
- Export citation
Preface
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp vii-viii
-
- Chapter
- Export citation
I - Preliminaries
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 1-2
-
- Chapter
- Export citation
10 - Kripke-completeness
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 129-138
-
- Chapter
- Export citation
16 - Canonicity without the fmp
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 217-224
-
- Chapter
- Export citation
VI - Two appendices
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 235-236
-
- Chapter
- Export citation
2 - The modal language
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 13-22
-
- Chapter
- Export citation
1 - Survey of propositional logic
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 3-12
-
- Chapter
- Export citation
17 - Transition structures aren't enough
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 225-234
-
- Chapter
- Export citation
Introduction
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp xi-xiii
-
- Chapter
- Export citation
Bibliography
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 311-314
-
- Chapter
- Export citation
9 - The general completeness result
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 119-128
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp xiii-xiv
-
- Chapter
- Export citation
A - The what, why, where,… of modal logic
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 237-246
-
- Chapter
- Export citation
7 - Some consequence relations
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 91-96
-
- Chapter
- Export citation
11 - Bisimulations
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 141-156
-
- Chapter
- Export citation
15 - Löb logic
-
- Book:
- First Steps in Modal Logic
- Published online:
- 05 November 2011
- Print publication:
- 08 December 1994, pp 201-216
-
- Chapter
- Export citation