front cover of Interactive Logic
Interactive Logic
Selected Papers from the 7th Augustus de Morgan Workshop, London
Edited by Johan van Benthem, Benedikt Löwe and Dov Gabbay
Amsterdam University Press, 2007
Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory.
 
“A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool
 
[more]

front cover of Logic Colloquium '92
Logic Colloquium '92
Edited by Lázló Csirmaz, Dov M. Gabbay, and Maarten de Rijke
CSLI, 1995
Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszpre;m, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary flavour as they investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.
[more]


Send via email Share on Facebook Share on Twitter