Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics Kjell Johan Sæbø Original Paper 21 November 2006 Pages: 15 - 33
A proof–theoretic study of the correspondence of hybrid logic and classical logic H. KushidaM. Okada Original Article 03 November 2006 Pages: 35 - 61
Linear temporal logic as an executable semantics for planning languages Marta Cialdea MayerCarla LimongelliValentina Poggioni Original Article 21 November 2006 Pages: 63 - 89
Reference and perspective in intuitionistic logics John Nolt Original Paper 02 November 2006 Pages: 91 - 115
Logic in Computer Science: Modelling and Reasoning About Systems Valentin Goranko Book review 30 September 2006 Pages: 117 - 120