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

Buch 2 von 5: Texts in Logic and Games
 
9789053563564: Interactive Logic: Selected Papers from the 7th Augustus De Morgan Workshop, London (Texts in Logic and Games)
Softcover
ISBN 10: 9053563563 ISBN 13: 9789053563564
Verlag: Pallas Publications, 2008

Inhaltsangabe

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
 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

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

Von der hinteren Coverseite

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

Aus dem Klappentext

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Pallas Publications
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
9053563563
ISBN 13 
9789053563564
Einband
Taschenbuch
Auflage
2
Anzahl der Seiten
362
Herausgeber
Van Benthem Johan, Gabbay Dov, Lowe Benedikt
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Buchpark GmbH
gpsr@buchpark.de

Krügerweg 1
Trebbin
Brandenburg
14959
Deutschland