Journal of Logic, Language and Information, Volume 13

Volume 13, Number 1, Winter 2004

• Torben Braüner:
  Two Natural Deduction Systems for Hybrid Logic: A Comparison. 1-23
  
• Allen Hazen, Lloyd Humberstone:
  Similarity Relations and the Preservation of Solidity. 25-46
  
• Gerhard Jäger:
  Residuation, Structural Rules and Context Freeness. 47-59
  
• Gregory L. McColm:
  Guarded Quantification in Least Fixed Point Logic. 61-110
  

Volume 13, Number 2, Spring 2004

• Patrick Blackburn, Michael Kohlhase:
  Inference and Computational Semantics. 117-120
  
• Carlos Areces, Raffaella Bernardi:
  Analyzing the Core of Categorial Grammar. 121-137
  
• Johan Bos:
  Computational Semantics in Discourse: Underspecification, Resolution, and Inference. 139-157
  
• Sandiway Fong:
  Semantic Opposition and WordNet. 159-171
  
• Helen L. Gaylard, Allan Ramsay:
  Relevant Answers to WH-Questions. 173-186
  
• Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz:
  Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game. 187-206
  
• Ian Pratt-Hartmann:
  Fragments of Language. 207-223
  
• Aarne Ranta, Robin Cooper:
  Dialogue Systems as Proof Editors. 225-240
  

Volume 13, Number 3, Summer 2004

• Gerard Allwein, Hilmi Demir, Lee Pike:
  Logics for Classes of Boolean Monoids. 241-266
  
• Lon A. Berk:
  The Liar, Context and Logical Form. 267-286
  
• Fairouz Kamareddine, Rob Nederpelt:
  A Refinement of de Bruijn's Formal Language of Mathematics. 287-340
  
• Hannes Leitgeb, Alexander Hieke:
  Circular Languages. 341-371
  
• Jochen L. Leidner:
  Open-Domain Question Answering from Large Text Collection, M. Pa[scedil]ca. 373-376
  
• Makoto Kanazawa:
  Computational Approaches to Language Acquisition, Michael R. Brent, ed.. 377-379
  
• Heinrich Wansing:
  Agency and Deontic Logic, J.F. Horty. 379-381
  

Volume 13, Number 4, 2004

• R. T. Oehrle, J. Rogers:
  Introduction. 383-383
  
• Gilad Ben-Avi, Yoad Winter:
  Scope Dominance with Monotone Quantifiers over Finite Domains. 385-402
  
• José M. Castaño:
  Global Index Grammars and Descriptive Power. 403-419
  
• Philippe de Groote, Sylvain Pogodalla:
  On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. 421-438
  
• Martin Jansche:
  Learning Local Transductions Is Hard. 439-455
  
• Stephan Kepser:
  Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time. 457-470
  
• Wiebke Petersen:
  A Mathematical Analysis of Panini's Sivasutras. 471-489
  
• Robert van Rooij, Katrin Schulz:
  Exhaustive Interpretation of Complex Sentences. 491-519
  
• Raffaella Bernardi:
  The Syntactic Process: Language, Speech, and Communication, Mark Steedman. 526-530
  
• Börkur Sigurbjörnsson:
  Language Modeling for Information Retrieval. 531-534