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

Menu

back to overview
Add to bookmark

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

Object category:
Elektronische Ressource
Person/Institution:
Augustus De Morgan Workshop (7th :2005 :London, England)
Löwe, Benedikt
Gabbay, Dov M.
Benthem, Johan van
Providing institution:
Forschungsbibliothek Gotha
Publisher:
Amsterdam Univsity Press
Ort:
Amsterdam
Date:
2007
Language:
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.
Object text:
edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Includes bibliographical references
Online-Ausg.

Access and usage options

Created:
2023-04-13
Last changed:
2022-07-10
Added to portal:
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