1. Symmetric and contrapositional quantifiers

   • R. Zuber

   Original Article 02 November 2006 Pages: 1 - 13

2. Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics

   • Kjell Johan Sæbø

   Original Paper 21 November 2006 Pages: 15 - 33

3. A proof–theoretic study of the correspondence of hybrid logic and classical logic

   • H. Kushida
   • M. Okada

   Original Article 03 November 2006 Pages: 35 - 61

4. Linear temporal logic as an executable semantics for planning languages

   • Marta Cialdea Mayer
   • Carla Limongelli
   • Valentina Poggioni

   Original Article 21 November 2006 Pages: 63 - 89

5. Reference and perspective in intuitionistic logics

   • John Nolt

   Original Paper 02 November 2006 Pages: 91 - 115

6. Logic in Computer Science: Modelling and Reasoning About Systems

   • Valentin Goranko

   Book review 30 September 2006 Pages: 117 - 120