Logic, language and reasoning. Essays in honour of Dov Gabbay (Q1125621)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Gerbrandy, Jelle; Mineur, Anne-Marie}, Dov Gabbay: ``I am a logic''. An interview with Dov Gabbay, 1-12 [Zbl 0953.03003] Research themes of Dov Gabbay, 13-30 [Zbl 0953.03004] \textit{van Benthem, Johan}, Proofs, labels and dynamics in natural language, 31-41 [Zbl 0960.03023] \textit{Kamp, Hans}, What a linguist might want from a logic of most and other generalized quantifiers, 43-72 [Zbl 0952.03023] \textit{Finger, Marcelo; Reynolds, Mark}, Imperative history: Two-dimensional executable temporal logic, 73-98 [Zbl 0952.03015] \textit{Balbiani, Philippe; Fariñas del Cerro, Luis}, Diagrammatic reasoning in projective geometry, 99-114 [Zbl 0949.03008] \textit{Demolombe, Robert; Jones, Andrew J. I.}, On sentences of the kind ``sentence `\(p\)' is about topic \(t\)'', 115-133 [Zbl 0958.03004] \textit{Segerberg, Krister}, Two traditions in the logic of belief: Bringing them together, 135-147 [Zbl 0957.03023] \textit{Nonnengart, Andreas; Ohlbach, Hans Jürgen; Szałas, Andrzej}, Elimination of predicate quantifiers, 149-171 [Zbl 0951.03028] \textit{de Queiroz, Ruy J. G. B.; Gabbay, Dov M.}, Labelled natural deduction, 173-250 [Zbl 0954.03008] \textit{König, Esther; Reyle, Uwe}, A general reasoning scheme for underspecified representations, 251-277 [Zbl 0948.03021] \textit{Lambek, Joachim}, Deductive systems and categories in linguistics, 279-294 [Zbl 0960.03022] \textit{Kempson, Ruth}, Towards a procedural model of natural-language interpretation crossover: A case study, 295-334 [Zbl 0951.03027] \textit{Broda, Krysia; D'Agostino, Marcello; Russo, Alessandra}, Transformation methods in LDS, 335-376 [Zbl 0954.03009] \textit{Moortgat, Michael}, Labelled deduction in the composition of form and meaning, 377-399 [Zbl 0968.03033] \textit{Moravcsik, Julius M.}, Formalisms for non-formal languages, 401-415 [Zbl 0944.03504]