Hinweis: Um die korrekte Darstellung der Seite zu erhalten, müssen Sie beim Drucken die Hintergrundgrafiken erlauben.

Menu

Zurück zur Übersicht
Auf die Merkliste

Interactive logic: selected papers from the 7th Augustus de Morgan Workshop, London

Objektkategorie:
Elektronische Ressource
Person/Institution:
Augustus De Morgan Workshop (7th :2005 :London, England)
Löwe, Benedikt
Gabbay, Dov M.
Benthem, Johan van
Bereitstellende Institution:
Forschungsbibliothek Gotha
Verlag:
Amsterdam Univsity Press
Ort:
Amsterdam
Entstehungszeit:
2007
Sprache:
Englisch
Abstract:
A collection of excellent research papers in logic, mathematics, computer science and game theory
DEMO -- A Demo of Epistemic Modelling.
Table of Contents; 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.
Objekttext:
edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Includes bibliographical references
Online-Ausg.

Zugriff und Nutzungsmöglichkeiten

Datensatz angelegt am:
2023-04-13
Zuletzt geändert am:
2022-07-10
In Portal übernommen am:
2023-04-13

Ähnliche Objekte

Entdecken Sie ähnliche Objekte. Über die Datenfelder können Sie die Objekte auswählen, die Sie interessieren. Sie können Ihre Suchfilter beibehalten oder deaktivieren.


Suchfilter berücksichtigen