Journal of Logic, Language and Information
, Volume 5
Volume 5, Number 1, April 1996
Valentin Goranko
: Hierarchies of Modal and Temporal Logics with Reference Pointers. 1-24
Ofer Arieli
,
Arnon Avron
: Reasoning with Logical Bilattices. 25-63
Andreas Schöter
: Evidential Bilattice Logic and Lexical Inference. 65-105
Volume 5, Number 2, April 1996
Makoto Kanazawa
: Indentification in the Limit of Categorial Grammars. 115-155
Elzbieta Hajnicz
: Applying Allen's Constraint Propagation Algorithm for Non-Linear Time. 157-175
Karl Schlechta
: Completeness and Incompleteness for Plausibility Logic. 177-192
Giuseppe De Giacomo
: Eliminating ``Converse'' from Converse PDL. 193-208
Helmut Prendinger
,
Gerhard Schurz
: Reasoning about Action and Change. A Dynamic Logic Approach. 209-245
Volume 5, Numbers 3/4, October 1996
Yde Venema
: Tree Models and (Labeled) Categorial Grammar. 253-277
Wojciech Buszkowski
: Extending Lambek Grammars to Basic Categorial Grammars. 279-295
Hans Kamp
,
Uwe Reyle
: A Calculus for First Order Discourse Representation Structures. 297-348
Michael Moortgat
: Multimodal Linguistic Inference. 349-385
Jochen Dörre
,
Esther König
,
Dov M. Gabbay
: Fibred Semantics for Feature-Based Grammar Logic. 387-422
Copyright ©
Tue Dec 1 16:34:28 2009 by
Michael Ley
(
ley@uni-trier.de
)