Journal: Journal of Logic, Language and Information

Volume 10, Issue 3

273 -- 317Keith Stenning, Michiel van Lambalgen. Semantics as a Foundation for Psychology: A Case Study of Wason s Selection Task
319 -- 351Jan van Eijck. Incremental Dynamics
353 -- 374Maarten Marx. Tolerance Logic
375 -- 402Fairouz Kamareddine, Twan Laan. A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
403 -- 405Valentin B. Shehtman. First-Order Modal Logic, M. Fitting and R. L. Mendelsohn
406 -- 410Ullrich Hustadt. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger