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