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

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

By: Dov Gabbay (editor), Johan van Benthem (editor), Benedikt Lowe (editor)Paperback

1 - 2 weeks availability

£26.67 RRP £27.50  You save £0.83 (3%) With FREE Saver Delivery

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.

Create a review

About Author

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

Contents

Table of Contents[-] - 6[-]Preface[-] - 8[-]Ch. 1:[-]A Compositional Game Semantics for Multi-Agent Logics of Partial Information - 12[-]Ch. 2:[-]Quantificational Modal Operators and Their Semantics - 50[-]Ch. 3: A Note on Kuhn's Theor[-]em - 72[-]Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?[-] - 90[-]Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?[-] - 118[-]Ch. 6: Reasoning about Communication Graphs[-] - 136[-]Ch. 7: Epistemic Foundations for Backward Induction: An Overview[-] - 160[-]Ch. 8:[-]Multitape Games - 196[-]Ch. 9[-]: The Complexity of Schotland Yard - 210[-]Ch. 10[-]: Approaches to Independence Friendly Modal Logic - 248[-]Ch. 11: Team Logic[-] - 282[-]DEMO - A Demo of Epistemic Modelling[-] - 304

Product Details

  • publication date: 30/11/2007
  • ISBN13: 9789053563564
  • Format: Paperback
  • Number Of Pages: 362
  • ID: 9789053563564
  • weight: 552
  • ISBN10: 9053563563

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close