researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Logic, Language and Information
Home
Index
Info
Issue
Volume
10
, Issue
3
273
--
317
Keith Stenning
,
Michiel van Lambalgen
.
Semantics as a Foundation for Psychology: A Case Study of Wason s Selection Task
319
--
351
Jan van Eijck
.
Incremental Dynamics
353
--
374
Maarten Marx
.
Tolerance Logic
375
--
402
Fairouz Kamareddine
,
Twan Laan
.
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
403
--
405
Valentin B. Shehtman
.
First-Order Modal Logic, M. Fitting and R. L. Mendelsohn
406
--
410
Ullrich Hustadt
.
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger