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 BibTeX
• Ofer Arieli, Arnon Avron: Reasoning with Logical Bilattices. 25-63 BibTeX
• Andreas Schöter: Evidential Bilattice Logic and Lexical Inference. 65-105 BibTeX

Volume 5, Number 2, April 1996

• Makoto Kanazawa: Indentification in the Limit of Categorial Grammars. 115-155 BibTeX
• Elzbieta Hajnicz: Applying Allen's Constraint Propagation Algorithm for Non-Linear Time. 157-175 BibTeX
• Karl Schlechta: Completeness and Incompleteness for Plausibility Logic. 177-192 BibTeX
• Giuseppe De Giacomo: Eliminating ``Converse'' from Converse PDL. 193-208 BibTeX
• Helmut Prendinger, Gerhard Schurz: Reasoning about Action and Change. A Dynamic Logic Approach. 209-245 BibTeX

Volume 5, Numbers 3/4, October 1996

• Yde Venema: Tree Models and (Labeled) Categorial Grammar. 253-277 BibTeX
• Wojciech Buszkowski: Extending Lambek Grammars to Basic Categorial Grammars. 279-295 BibTeX
• Hans Kamp, Uwe Reyle: A Calculus for First Order Discourse Representation Structures. 297-348 BibTeX
• Michael Moortgat: Multimodal Linguistic Inference. 349-385 BibTeX
• Jochen Dörre, Esther König, Dov M. Gabbay: Fibred Semantics for Feature-Based Grammar Logic. 387-422 BibTeX