1. On Modal μ-Calculus and Gödel-Löb Logic

   • Luca Alberucci
   • Alessandro Facchini

   OriginalPaper 20 March 2009 Pages: 145 - 169

2. Canonical Extensions and Relational Representations of Lattices with Negation

   • Agostinho Almeida

   OriginalPaper 20 March 2009 Pages: 171 - 199

3. Distributive Full Lambek Calculus Has the Finite Model Property

   • Michał Kozak

   OriginalPaper 04 March 2009 Pages: 201 - 216

4. Proof Systems Combining Classical and Paraconsistent Negations

   • Norihiro Kamide

   OriginalPaper 20 March 2009 Pages: 217 - 238

5. Jump Liars and Jourdain’s Card via the Relativized T-scheme

   • Ming Hsiung

   OriginalPaper 04 March 2009 Pages: 239 - 271

6. Proof Systems for Reasoning about Computation Errors

   • Arnon Avron
   • Beata Konikowska

   OriginalPaper 20 March 2009 Pages: 273 - 293