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
Electronic Edition
(link)
BibTeX
Allen Hazen
,
Lloyd Humberstone
:
Similarity Relations and the Preservation of Solidity.
25-46
Electronic Edition
(link)
BibTeX
Gerhard Jäger
:
Residuation, Structural Rules and Context Freeness.
47-59
Electronic Edition
(link)
BibTeX
Gregory L. McColm
:
Guarded Quantification in Least Fixed Point Logic.
61-110
Electronic Edition
(link)
BibTeX
Volume 13, Number 2, Spring 2004
Patrick Blackburn
,
Michael Kohlhase
:
Inference and Computational Semantics.
117-120
Electronic Edition
(link)
BibTeX
Carlos Areces
,
Raffaella Bernardi
:
Analyzing the Core of Categorial Grammar.
121-137
Electronic Edition
(link)
BibTeX
Johan Bos
:
Computational Semantics in Discourse: Underspecification, Resolution, and Inference.
139-157
Electronic Edition
(link)
BibTeX
Sandiway Fong
:
Semantic Opposition and WordNet.
159-171
Electronic Edition
(link)
BibTeX
Helen L. Gaylard
,
Allan Ramsay
:
Relevant Answers to WH-Questions.
173-186
Electronic Edition
(link)
BibTeX
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
Electronic Edition
(link)
BibTeX
Ian Pratt-Hartmann
:
Fragments of Language.
207-223
Electronic Edition
(link)
BibTeX
Aarne Ranta
,
Robin Cooper
:
Dialogue Systems as Proof Editors.
225-240
Electronic Edition
(link)
BibTeX
Volume 13, Number 3, Summer 2004
Gerard Allwein
,
Hilmi Demir
,
Lee Pike
:
Logics for Classes of Boolean Monoids.
241-266
Electronic Edition
(link)
BibTeX
Lon A. Berk
:
The Liar, Context and Logical Form.
267-286
Electronic Edition
(link)
BibTeX
Fairouz Kamareddine
,
Rob Nederpelt
:
A Refinement of de Bruijn's Formal Language of Mathematics.
287-340
Electronic Edition
(link)
BibTeX
Hannes Leitgeb
,
Alexander Hieke
:
Circular Languages.
341-371
Electronic Edition
(link)
BibTeX
Jochen L. Leidner
:
Open-Domain Question Answering from Large Text Collection, M. Pa[scedil]ca.
373-376
Electronic Edition
(link)
BibTeX
Makoto Kanazawa
:
Computational Approaches to Language Acquisition, Michael R. Brent, ed..
377-379
Electronic Edition
(link)
BibTeX
Heinrich Wansing
:
Agency and Deontic Logic, J.F. Horty.
379-381
Electronic Edition
(link)
BibTeX
Volume 13, Number 4, 2004
R. T. Oehrle
,
J. Rogers
:
Introduction.
383-383
Electronic Edition
(link)
BibTeX
Gilad Ben-Avi
,
Yoad Winter
:
Scope Dominance with Monotone Quantifiers over Finite Domains.
385-402
Electronic Edition
(link)
BibTeX
José M. Castaño
:
Global Index Grammars and Descriptive Power.
403-419
Electronic Edition
(link)
BibTeX
Philippe de Groote
,
Sylvain Pogodalla
:
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.
421-438
Electronic Edition
(link)
BibTeX
Martin Jansche
:
Learning Local Transductions Is Hard.
439-455
Electronic Edition
(link)
BibTeX
Stephan Kepser
:
Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time.
457-470
Electronic Edition
(link)
BibTeX
Wiebke Petersen
:
A Mathematical Analysis of Panini's Sivasutras.
471-489
Electronic Edition
(link)
BibTeX
Robert van Rooij
,
Katrin Schulz
:
Exhaustive Interpretation of Complex Sentences.
491-519
Electronic Edition
(link)
BibTeX
Raffaella Bernardi
:
The Syntactic Process: Language, Speech, and Communication, Mark Steedman.
526-530
Electronic Edition
(link)
BibTeX
Börkur Sigurbjörnsson
:
Language Modeling for Information Retrieval.
531-534
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:10:37 2009 by
Michael Ley
(
ley@uni-trier.de
)