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

ISBN 10: 9053563563 / ISBN 13: 9789053563564

Editore: Amsterdam University Press, 2008

Riguardo questo articolo

Acceptable - This is a significantly damaged book. It should be considered a reading copy only. Please order this book only if you are interested in the content and not the condition. May be ex-library. PAPERBACK Standard-sized.

Codice articolo M9053563563Z4

Dati bibliografici

• Titolo: Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games)
• Editore: Amsterdam University Press
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 9053563563
• ISBN 13: 9789053563564
• Rilegatura: Paperback
• Edizione: seconda edizione
• Condizione: Acceptable

Descrizione articolo

Riassunto

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 logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory.

 

“A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool

 

Informazioni sugli autori

Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford University. Dov Gabbay is the Augustus de Morgan Professor of Logic at King’s College, London. 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.

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