Interactive Logic

Selected Papers from the 7th Augustus de Morgan Workshop, London

by Johan van Benthem, Benedikt Löwe,

Subject categories
ISBNs
  • 9048501121
  • 9789053563564
  • 9789048501120
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.
  • Amsterdam University Press; January 2008
  • ISBN 9789048501120
  • Read online, or download in secure PDF format
  • Title: Interactive Logic
  • Author: Johan van Benthem (ed.); Benedikt Löwe (ed.); Dov Gabbay (ed.)
  • Imprint: Amsterdam University Press
Subject categories
ISBNs
  • 9048501121
  • 9789053563564
  • 9789048501120
Subject categories
ISBNs
  • 9048501121
  • 9789053563564
  • 9789048501120