Interactive Logic
Selected Papers from the 7th Augustus de Morgan Workshop, London
2nd Edition
Published on 15. January 2008
Book
Paperback/Softback
362 pages
978-90-5356-356-4 (ISBN)
Description
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 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.
Reviews / Votes
As a first in the series Texts in Logic and Games, the volume Interactive Logic is a wonderful demonstration of contemporary topics in logic: agents with their limited information and abilities acting in a dynamic world, who while interacting, constantly have to change their mind (dynamic epistemic logics), be ready to decide (game theory and rationality) and act (dynamic logic), thereby hopefully achieving some desirable group behaviour (logics for social software). Wiebe van der Hoek University of Liverpool |Interactive Logic deals with logical approaches to communication, interaction, and strategic information and knowledge. This volume shows the breadth of this field and its applications from computing to games and economics. Professor Bernhard von Stengel, London School of EconomicsMore details
Series
Edition
2nd edition
Language
English
Place of publication
Amsterdam
Netherlands
Target group
College/higher education
Professional and scholarly
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 19 mm
Weight
508 gr
ISBN-13
978-90-5356-356-4 (9789053563564)
DOI
10.5117/9789053563564
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Benedikt Loewe 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
Content
Preface , Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information, Ch. 2: Quantificational Modal Operators and Their Semantics, Ch. 3: A Note on Kuhn's Theor em, Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games? , Ch. 5: Logics of Imperfect Information: Why Sets of Assignments? , Ch. 6: Reasoning about Communication Graphs , Ch. 7: Epistemic Foundations for Backward Induction: An Overview , Ch. 8: Multitape Games, Ch. 9 : The Complexity of Schotland Yard, Ch. 10 : Approaches to Independence Friendly Modal Logic, Ch. 11: Team Logic , DEMO, A Demo of Epistemic Modelling