1. A Formal Model of Multi-Agent Belief-Interaction

   • John Cantwell

   OriginalPaper 06 September 2006 Pages: 303 - 329

2. Types as Graphs: Continuations in Type Logical Grammar

   • Chris Barker
   • Chung-chieh Shan

   OriginalPaper 01 November 2006 Pages: 331 - 370

3. Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation

   • Norihiro Kamide

   OriginalPaper 17 October 2006 Pages: 371 - 401

4. Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood

   • Yaroslav Shramko
   • Heinrich Wansing

   OriginalPaper 03 November 2006 Pages: 403 - 424

5. Knowledge Condition Games

   • Sieuwert van Otterloo
   • Wiebe Van Der Hoek
   • Michael Wooldridge

   OriginalPaper 16 September 2006 Pages: 425 - 452