Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
Volume 10, Number 2, 2001
- 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
Volume 10, Number 3, 2001
- 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
Volume 10, Number 4, 2001
- 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
