Linking Kripke Semantics and Game Theory

a Logical Approach to Aumann's Theorem

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Original languageEnglish
Title of host publicationComputing Science in the Netherlands
Subtitle of host publicationproceedings
EditorsJ.L.G. Dietz
PublisherStichting Mathematisch Centrum
Pages316-326
Publication statusPublished - 1992

Cite this

de Swart, H. (1992). Linking Kripke Semantics and Game Theory: a Logical Approach to Aumann's Theorem. In J. L. G. Dietz (Ed.), Computing Science in the Netherlands: proceedings (pp. 316-326). Stichting Mathematisch Centrum.
de Swart, Harrie. / Linking Kripke Semantics and Game Theory : a Logical Approach to Aumann's Theorem. Computing Science in the Netherlands: proceedings. editor / J.L.G. Dietz. Stichting Mathematisch Centrum, 1992. pp. 316-326
@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",

}

de Swart, H 1992, Linking Kripke Semantics and Game Theory: a Logical Approach to Aumann's Theorem. in JLG Dietz (ed.), Computing Science in the Netherlands: proceedings. Stichting Mathematisch Centrum, pp. 316-326.

Linking Kripke Semantics and Game Theory : a Logical Approach to Aumann's Theorem. / de Swart, Harrie.

Computing Science in the Netherlands: proceedings. ed. / J.L.G. Dietz. Stichting Mathematisch Centrum, 1992. p. 316-326.

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

TY - GEN

T1 - Linking Kripke Semantics and Game Theory

T2 - a Logical Approach to Aumann's Theorem

AU - de Swart, Harrie

PY - 1992

Y1 - 1992

M3 - Conference contribution

SP - 316

EP - 326

BT - Computing Science in the Netherlands

A2 - Dietz, J.L.G.

PB - Stichting Mathematisch Centrum

ER -

de Swart H. Linking Kripke Semantics and Game Theory: a Logical Approach to Aumann's Theorem. In Dietz JLG, editor, Computing Science in the Netherlands: proceedings. Stichting Mathematisch Centrum. 1992. p. 316-326