Interactive Logic
Amsterdam University Press (Verlag)
978-90-5356-356-4 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
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 logic for
both 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
Table of Contents - 6 Preface - 8 Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information - 12 Ch. 2: Quantificational Modal Operators and Their Semantics - 50 Ch. 3: A Note on Kuhn's Theor em - 72 Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games? - 90 Ch. 5: Logics of Imperfect Information: Why Sets of Assignments? - 118 Ch. 6: Reasoning about Communication Graphs - 136 Ch. 7: Epistemic Foundations for Backward Induction: An Overview - 160 Ch. 8: Multitape Games - 196 Ch. 9 : The Complexity of Schotland Yard - 210 Ch. 10 : Approaches to Independence Friendly Modal Logic - 248 Ch. 11: Team Logic - 282 DEMO - A Demo of Epistemic Modelling - 304
Reihe/Serie | Texts in Logic and Games |
---|---|
Verlagsort | Amsterdam |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 552 g |
Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
Sozialwissenschaften ► Soziologie | |
ISBN-10 | 90-5356-356-3 / 9053563563 |
ISBN-13 | 978-90-5356-356-4 / 9789053563564 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich