The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences. Among the principal subareas are Intensional Logics including Dynamic Logic; Nonmonotonic Logic and Belief Revision; Constructive Logics; Complexity Issues in Logic and Linguistics; Theoretical Problems of Logic Programming and Resolution; Categorial Grammar and Type Theory; Generalized Quantification; Information-Oriented Theories of Semantic Structure like Situation Semantics, Discourse Representation Theory, and Dynamic Semantics; Connectionist Models of Logical and Linguistic Structures. The journal offers a forum for researchers interested in the theoretical foundations of these subjects and their interdisciplinary connections. This is the official publication of the Association for Logic, Language, and Information. Explores the foundations of natural, formal, and programming languages Reviews the different forms of human and mechanized inference Covers the logical, linguistic, and information-theoretic parts of the cognitive sciences The official publication of the European Association for Logic, Language, and Information