JOURNAL OF LOGIC, LANGUAGE AND INFORMATION


For aims and scope, submission of papers information and ordering
information, see file jlli.inf.

			CONTENTS OF VOLUME 2

ISSUE 1, 1993

- On the expressivity of feature logics with negation, functional uncertainty
  and sort equations
	F. Baader, H.-J. Brckert, B. Nebel, W. Nutt, G. Smolka
- Generalized quantifiers and modal logic
	W. van der Hoek, M. de Rijke
- Resolution calculus for the first order linear logic
	G. Mints
- Instructions for authors

			CONTENTS OF VOLUME 1

- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
	M. D'Agostino
- The relationship between KLM and MAK models for nonmonotonic inference
  operations
	J. Dix, D. Makinson
- Modal logic as metalogic
	K. Dosen
- Adding a temporal dimension to a logic system
	M. Finger, D.M. Gabbay
- Editorial
	P. G„rdenfors
- Lambda-terms, logic, determiners and quantifiers
	F. Kamareddine
- The Lambek calculus enriched with additional connectives
	M. Kanazawa
- N-Prolog and equivalence of logic programs. Part I.
	N. Olivetti, L. Terracini
- Preferential belief change using generalized epistemic entrenchment
	H. Rott
- Chaos in game dynamics
	B. Skyrms
- Dynamic interpretation and Hoare deduction
	J. van Eijc, F.-J. de Vries