Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London
A collection of excellent research papers in logic, mathematics, computer science and game theory
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro electrónico |
| Idioma: | Holandés |
| Publicado: |
Amsterdam :
Amsterdam University Press
c2007.
|
| Edición: | 1st ed |
| Colección: | Texts in logic and games ;
v. 1. |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009436837306719 |
Tabla de Contenidos:
- 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
- DEMO - A Demo of Epistemic Modelling
