12.1235, TOC: J of Logic Language and Information

[The LINGUIST Network]

LINGUIST List:  Vol-12-1235. Fri May 4 2001. ISSN: 1068-4875.

Subject: 12.1235, TOC: J of Logic Language and Information

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, EMU
	Lydia Grebenyova, EMU		Jody Huellmantel, WSU
	James Yuells, WSU		Michael Appleby, EMU
	Marie Klopfenstein, WSU		Ljuba Veselinova, Stockholm U.
		Heather Taylor-Loring, EMU		

Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
          Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.



Editor for this issue: Naomi Ogasawara <naomi at linguistlist.org>

=================================Directory=================================

1)
Date:  Fri, 04 May 2001 02:23:40 +0200 (METDST)
From:  kap-listman at wkap.nl
Subject:  Journal of Logic Language and Information. Vol. 10, Issue 3

-------------------------------- Message 1 -------------------------------

Date:  Fri, 04 May 2001 02:23:40 +0200 (METDST)
From:  kap-listman at wkap.nl
Subject:  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: kluwer at wkap.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: orderdept at wkap.nl

---------------------------------------------------------------------------
LINGUIST List: Vol-12-1235