1. Multi-Modal CTL: Completeness, Complexity, and an Application

   • Thomas Ågotnes
   • Wiebe Van der Hoek
   • Michael Wooldridge

   OriginalPaper 28 May 2009 Pages: 1 - 26

2. Giles’s Game and the Proof Theory of Łukasiewicz Logic

   • Christian G. Fermüller
   • George Metcalfe

   OriginalPaper 28 May 2009 Pages: 27 - 61

3. Commuting Conversions vs. the Standard Conversions of the “Good” Connectives

   • Fernando Ferreira
   • Gilda Ferreira

   OriginalPaper 28 May 2009 Pages: 63 - 84

4. The Tense Logic for Master Argument in Prior’s Reconstruction

   • Tomasz Jarmużek
   • Andrzej Pietruszczak

   OriginalPaper 31 May 2009 Pages: 85 - 108

5. Quasivarieties with Definable Relative Principal Subcongruences

   • A. M. Nurakunov
   • M. M. Stronkowski

   OriginalPaper 28 May 2009 Pages: 109 - 120

6. On Conservative Extensions in Logics with Infinitary Predicates

   • Miklós Ferenczi

   OriginalPaper 29 May 2009 Pages: 121 - 135

7. Book Reviews

   • Jessica Carter

   BookReview 29 May 2009 Pages: 137 - 141