1. Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task

   • Keith Stenning
   • Michiel van Lambalgen

   OriginalPaper Pages: 273 - 317

2. Incremental Dynamics

   • Jan van Eijck

   OriginalPaper Pages: 319 - 351

3. Tolerance Logic

   • Maarten Marx

   OriginalPaper Pages: 353 - 374

4. A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems

   • Fairouz Kamareddine
   • Twan Laan

   OriginalPaper Pages: 375 - 402

5. First-Order Modal Logic, M. Fitting and R.L. Mendelsohn

   • Valentin Shehtman

   BookReview Pages: 403 - 405

6. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger

   • Ullrich Hustadt

   BookReview Pages: 406 - 410