Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London Contributor(s): Löwe, Benedikt (Editor), Gabbay, Dov (Editor), Van Benthem, Johan (Editor) |
|
ISBN: 9053563563 ISBN-13: 9789053563564 Publisher: Amsterdam University Press OUR PRICE: $74.20 Product Type: Paperback Published: January 2008 Annotation: 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. |
Additional Information |
BISAC Categories: - Games & Activities | Logic & Brain Teasers - Mathematics | Logic - Philosophy | History & Surveys - Modern |
Dewey: 519.3 |
Series: Texts in Logic and Games |
Physical Information: 0.75" H x 6.14" W x 9.21" (1.12 lbs) 362 pages |
Themes: - Chronological Period - Modern |
Descriptions, Reviews, Etc. |
Publisher Description: 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 logic for both communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games. |