Polyadic Dynamic Logics for HPSG Parsing Anders SøgaardMartin Lange OriginalPaper 04 June 2008 Pages: 159 - 198
The Basic Constructive Logic for Absolute Consistency José M. MéndezGemma Robles OriginalPaper 27 August 2008 Pages: 199 - 216
Designing Visual Languages for Description Logics Brian R. Gaines OriginalPaper 12 October 2008 Pages: 217 - 250
Plans, Actions and Dialogues Using Linear Logic Lucas DixonAlan SmaillTracy Tsang OriginalPaper 22 January 2009 Pages: 251 - 289
Strong Completeness and Limited Canonicity for PDL Gerard Renardel de LavaletteBarteld KooiRineke Verbrugge Erratum 11 February 2009 Pages: 291 - 292