Journal of Logic, Language and Information, Volume 10

Volume 10, Number 1, 2001

Peter Pagin, Dag Westerståhl: Editorial: Compositionality: Current Issues. 1-5
Wilfrid Hodges: Formal Features of Compositionality. 7-28
Herman Hendriks: Compositionality and Model-Theoretic Interpretation. 29-48
Gabriel Sandu, Jaakko Hintikka: Aspects of Compositionality. 49-61
Tim Fernando: Ambiguous Discourse in a Compositional Context. An Operational Perspective. 63-86
Francis Jeffry Pelletier: Did Frege Believe Frege's Principle? 87-114
Theo M. V. Janssen: Frege, Contextuality and Compositionality. 115-136

Michiel van Lambalgen: Editorial: An Invitation to Cognitive Science. 145-146
David Beaver, Emiel Krahmer: A Partial Account of Presupposition Projection. 147-182
Pedrito Maynard-Reid II, Yoav Shoham: Belief Fusion: Aggregating Pedigreed Belief States. 183-209
Richard Moot, Mario Piazza: Linguistic Applications of First Order Intuitionistic Linear Logic. 211-232
Wojciech Zielonka: Cut-Rule Axiomatization of the Syntactic Calculus L0. 233-236
Churn-Jung Liau: A Logical Analysis of the Relationship between Commitment and Obligation. 237-261
Ivana Kruijff-Korbayová: James D. McCawley, The Syntactic Phenomena of English, second edition. 263-266
Keith Stenning: Terry Regier, The Human Semantic Potential: Spatial Language and Constrained Connectionism. 266-269
Marco Aiello: Roberto Casati and Achille Varzi, Parts and Places, The Structures of Spatial Representation. 269-272

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

Markus Egg, Manfred Pinkal, James Pustejovsky: Editorial. 411-416
Reinhard Muskens: Talking about Trees and Truth-Conditions. 417-455
Markus Egg, Alexander Koller, Joachim Niehren: The Constraint Language for Lambda Structures. 457-485
Claire Gardent, Bonnie L. Webber: Towards the Use of Automated Reasoning in Discourse Disambiguation. 487-509
Katharina Hartmann, Thomas Ede Zimmermann: Introduction to Natural Language Semantics, Henriëtte de Swart. 511-518
Maarten de Rijke: Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds. 518-523