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

Benthem, Johan, Gabbay, Dov, Loewe, Benedikt

ISBN 10: 9053563563 / ISBN 13: 9789053563564

Published by Amsterdam University Press, 2008

About this Item

Some shelf-wear.

Seller Inventory # 1729385

Bibliographic Details

• Title: Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games)
• Publisher: Amsterdam University Press
• Publication Date: 2008
• Language: English
• ISBN 10: 9053563563
• ISBN 13: 9789053563564
• Binding: Paperback
• Edition: 2nd Edition.
• Condition: Used-Very Good
• Signed: Signed by Author(s)
• Seller catalogs:
  • Mathematics

About this title

Synopsis

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.

About the 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