AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC Ming Hsiung OriginalPaper 07 November 2007 Pages: 299 - 317
ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES Philippe BalbianiAndreas HerzigNicolas Troquard OriginalPaper 12 February 2008 Pages: 387 - 406