LINGUIST List 12.1235

Fri May 4 2001

TOC: J of Logic Language and Information

Editor for this issue: Naomi Ogasawara <naomilinguistlist.org>

Directory

1. kap-listman, Journal of Logic Language and Information. Vol. 10, Issue 3

Journal of Logic Language and Information

ISSN 0925-8531

http://www.wkap.nl/issuetoc.htm/0925-8531+10+3+2001

Vol. 10, Issue 3, Summer 2001.

TITLE: Semantics as a Foundation for Psychology: A Case Study
 of Wason`s Selection Task
AUTHOR(S): Keith Stenning, Michiel van Lambalgen
KEYWORD(S): Bayesian probability, 4-card task, conditionals, evolutionary
 psychology, semantics.
PAGE(S): 273-317

TITLE: Incremental Dynamics
AUTHOR(S): Jan van Eijck
KEYWORD(S): anaphora and context, complete calculus for dynamic reasoning
 with anaphora, dynamic semantics of natural language, incremental
 interpretation, monotonic semantics.
PAGE(S): 319-351

TITLE: Tolerance Logic
AUTHOR(S): Maarten Marx
KEYWORD(S): guarded fragments, relativised first order logic.
PAGE(S): 353-374

TITLE: A Correspondence between Martin-Lof Type Theory, the Ramified
 Theory of Types and Pure Type Systems
AUTHOR(S): Fairouz Kamareddine, Twan Laan
KEYWORD(S): Nuprl, orders, Pure Type Systems, types.
PAGE(S): 375-402

TITLE: First-Order Modal Logic, M. Fitting and R.L. Mendelsohn
AUTHOR(S): Valentin Shehtman
KEYWORD(S): Nuprl, orders, Pure Type Systems, types.
PAGE(S): 403-405

TITLE: Temporal Logic: Mathematical Foundations and Computational
 Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and
 Marcelo Finger
AUTHOR(S): Ullrich Hustadt
KEYWORD(S): Nuprl, orders, Pure Type Systems, types.
PAGE(S): 406-410


Thank you for your interest in Kluwer's books and journals. 
 
NORTH, CENTRAL AND SOUTH AMERICA 
Kluwer Academic Publishers 
Order Department, PO Box 358 
Accord Station, Hingham, MA 02018-0358 
USA 
Telephone (781) 871-6600 
Fax (781) 681-9045 
E-Mail: kluwerwkap.com 
 
 
EUROPE, ASIA AND AFRICA 
Kluwer Academic Publishers 
Distribution Center 
PO Box 322 
3300 AH Dordrecht 
The Netherlands 
Telephone 31-78-6392392 
Fax 31-78-6546474 
E-Mail: orderdeptwkap.nl