5571 results in Programming Languages and Applied Logic
2 - VARIOUS NOTIONS OF KNOWLEDGE AND BELIEF
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 45-112
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp i-vi
-
- Chapter
- Export citation
R - REFERENCES
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 331-346
-
- Chapter
- Export citation
A - APPENDIXES
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 211-232
-
- Chapter
- Export citation
I - INDEX
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 347-354
-
- Chapter
- Export citation
Epistemic Logic for AI and Computer Science
-
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995
E - ANSWERS TO THE EXERCISES
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 233-330
-
- Chapter
- Export citation
1 - BASICS: THE MODAL APPROACH TO KNOWLEDGE
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 7-44
-
- Chapter
- Export citation
0 - INTRODUCTION
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 1-6
-
- Chapter
- Export citation
Linear Logic: its syntax and semantics
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 1-42
-
- Chapter
- Export citation
Empires and kingdoms in MLL-
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 249-270
-
- Chapter
- Export citation
Noncommutative proof nets
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 271-296
-
- Chapter
- Export citation
Volume of mulitplicative formulas and provability
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 297-306
-
- Chapter
- Export citation
Part I - Categories and semantics
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Bilinear logic in algebra, and linguistics
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 43-60
-
- Chapter
- Export citation
Stochastic interaction and linear logic
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 147-166
-
- Chapter
- Export citation
Inheritance with exceptions
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 167-196
-
- Chapter
- Export citation
Deciding provability of linear logic formulas
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 109-122
-
- Chapter
- Export citation
The direct simulation of Minsky machines in linear logic
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 123-146
-
- Chapter
- Export citation
From proof nets to interaction nets
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 225-248
-
- Chapter
- Export citation