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 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.
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 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.
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
Inhaltsangabe
Preface Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information Ch. 2: Quantificational Modal Operators and Their Semantics Ch. 3: A Note on Kuhn's Theor em Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games? Ch. 5: Logics of Imperfect Information: Why Sets of Assignments? Ch. 6: Reasoning about Communication Graphs Ch. 7: Epistemic Foundations for Backward Induction: An Overview Ch. 8: Multitape Games Ch. 9 : The Complexity of Schotland Yard Ch. 10 : Approaches to Independence Friendly Modal Logic Ch. 11: Team Logic DEMO A Demo of Epistemic Modelling
Preface Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information Ch. 2: Quantificational Modal Operators and Their Semantics Ch. 3: A Note on Kuhn's Theor em Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games? Ch. 5: Logics of Imperfect Information: Why Sets of Assignments? Ch. 6: Reasoning about Communication Graphs Ch. 7: Epistemic Foundations for Backward Induction: An Overview Ch. 8: Multitape Games Ch. 9 : The Complexity of Schotland Yard Ch. 10 : Approaches to Independence Friendly Modal Logic Ch. 11: Team Logic DEMO A Demo of Epistemic Modelling
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826