Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London: 1 (Texts in Logic and Games) - Tapa blanda

Loewe, Benedikt; Gabbay, Dov; Benthem, Johan

 
9789053563564: Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London: 1 (Texts in Logic and Games)

Sinopsis

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast fi eld of interactive logic, encompassing logics of communication and interaction. The main applications of this move to multi-agent notions are logical approaches to games and social software.The wealth of applications in these areas was the focus of the 7th Augustus de Morgan Workshop in November 2005. At this workshop, the idea of the new book series Texts in Logic and Games was born, and so it is very appropriate that this collection of excellent papers from the workshop is now published as the fi rst volume of the new series.The papers in this volume are research papers in logic, mathematics, computer science, and game theory. Readers of the book would be researchers and graduate students of these fields.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Benedikt Löwe is assistant professor at the Institute for Logic, Language and Computation at the University of Amsterdam and director of its graduate program in logic. Dov Gabbay is the Augustus de De Morgan professor of Logic at King's College London. Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford Universit

De la contraportada

In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logi

De la solapa interior

Traditionally, logic has dealt with notions of truthand reasoning. In the past several decades, however,research focus in logic has shifted to the vastfield of interactive logic the domain of logic forboth communication and interaction. The mainapplications of this move are logical approachesto games and social software. This collection ofpapers from the workshop serves as the initialvolume in the new series Texts in Logics and Games.

"Sobre este título" puede pertenecer a otra edición de este libro.