Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task Keith StenningMichiel van Lambalgen OriginalPaper Pages: 273 - 317
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems Fairouz KamareddineTwan Laan OriginalPaper Pages: 375 - 402
First-Order Modal Logic, M. Fitting and R.L. Mendelsohn Valentin Shehtman BookReview Pages: 403 - 405
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger Ullrich Hustadt BookReview Pages: 406 - 410