1. Modal logic as metalogic

   • Kosta Došen

   OriginalPaper Pages: 173 - 201

2. Adding a temporal dimension to a logic system

   • Marcelo Finger
   • Dov M. Gabbay

   OriginalPaper Pages: 203 - 233

3. Are tableaux an improvement on truth-tables?

   • Marcello D'Agostino

   OriginalPaper Pages: 235 - 252