Interactive Logic: Selected Papers from the 7th Augustus De Morgan Workshop, London - Brossura

Brossura

ISBN 10: 9053563563 ISBN 13: 9789053563564

Casa editrice: Amsterdam Univ Pr, 2008

Riassunto

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 mainapplications of this move are logical approachesto games and social software. This collection ofpapers from the workshop serves as the initialvolume in the new series Texts in Logics and Games.

Su questo libro

L'autore:

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.

Dalla quarta di copertina:

In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logi

Su questa edizione

• Editore: Amsterdam Univ Pr
• Data di pubblicazione: 2008
• ISBN 10: 9053563563
• ISBN 13: 9789053563564
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 362
• Redattore: Van Benthem Johan, Gabbay Dov, Lowe Benedikt