Linking Kripke Semantics and Game Theory: a Logical Approach to Aumann's Theorem

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

Original language	English
Title of host publication	Computing Science in the Netherlands
Subtitle of host publication	proceedings
Editors	J.L.G. Dietz
Publisher	Stichting Mathematisch Centrum
Pages	316-326
Publication status	Published - 1992

Cite this

@inproceedings{b8d4bae786d5474e883d46f18c016544,

title = "Linking Kripke Semantics and Game Theory: a Logical Approach to Aumann's Theorem",

author = "{de Swart}, Harrie",

year = "1992",

language = "English",

pages = "316--326",

editor = "J.L.G. Dietz",

booktitle = "Computing Science in the Netherlands",

publisher = "Stichting Mathematisch Centrum",

}