On Fork Arrow Logic and its Expressive Power Paulo A. S. VelosoRenata P. de FreitasSheila R. M. Veloso OriginalPaper 02 February 2007 Pages: 489 - 509
Cardinality and Identity Massimiliano CarraraElisabetta Sacchi OriginalPaper 18 April 2007 Pages: 539 - 556
\( LE^{t}_{ \to } \), \(LR^{ \circ }_{{\widehat{ \sim }}}\), LK and Cutfree Proofs Katalin Bimbó OriginalPaper 17 April 2007 Pages: 557 - 570
ON PRIMA FACIE OBLIGATIONS AND NONMONOTONICITY Kent Hurtig OriginalPaper 13 June 2007 Pages: 599 - 604