Imperfect information in logic and concurrent games

Pierre Clairambault; Julian Gutierrez; Glynn Winskel

doi:10.1007/978-3-642-38164-5_2

Imperfect information in logic and concurrent games

Pierre Clairambault, Julian Gutierrez, Glynn Winskel

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

5 Citations (Scopus)

Abstract

This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. An extension to concurrent games with imperfect information, through the introduction of 'access levels' to restrict the allowable strategies, leads to a concurrent-game semantics for a variant of Hintikka and Sandu's Independence-Friendly (IF) logic.

Original language	English
Title of host publication	Computation, Logic, Games, and Quantum Foundations
Subtitle of host publication	The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Editors	Bob Coecke, Luke Ong, Prakash Panangaden
Publisher	Springer
Pages	7-20
Number of pages	14
ISBN (Print)	9783642381638
DOIs	https://doi.org/10.1007/978-3-642-38164-5_2
Publication status	Published - 2013
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7860 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Concurrent games
Event structures
IF logic

Access to Document

10.1007/978-3-642-38164-5_2

Cite this

Clairambault, P., Gutierrez, J., & Winskel, G. (2013). Imperfect information in logic and concurrent games. In B. Coecke, L. Ong, & P. Panangaden (Eds.), Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday (pp. 7-20). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7860 LNCS). Springer. https://doi.org/10.1007/978-3-642-38164-5_2

Clairambault, Pierre ; Gutierrez, Julian ; Winskel, Glynn. / Imperfect information in logic and concurrent games. Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. editor / Bob Coecke ; Luke Ong ; Prakash Panangaden. Springer, 2013. pp. 7-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7a108b01672c457e9cdf5ff00acbd35b,

title = "Imperfect information in logic and concurrent games",

abstract = "This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. An extension to concurrent games with imperfect information, through the introduction of 'access levels' to restrict the allowable strategies, leads to a concurrent-game semantics for a variant of Hintikka and Sandu's Independence-Friendly (IF) logic.",

keywords = "Concurrent games, Event structures, IF logic",

author = "Pierre Clairambault and Julian Gutierrez and Glynn Winskel",

year = "2013",

doi = "10.1007/978-3-642-38164-5_2",

language = "English",

isbn = "9783642381638",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "7--20",

editor = "Bob Coecke and Luke Ong and Prakash Panangaden",

booktitle = "Computation, Logic, Games, and Quantum Foundations",

}

Clairambault, P, Gutierrez, J & Winskel, G 2013, Imperfect information in logic and concurrent games. in B Coecke, L Ong & P Panangaden (eds), Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7860 LNCS, Springer, pp. 7-20. https://doi.org/10.1007/978-3-642-38164-5_2

Imperfect information in logic and concurrent games. / Clairambault, Pierre; Gutierrez, Julian; Winskel, Glynn.
Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. ed. / Bob Coecke; Luke Ong; Prakash Panangaden. Springer, 2013. p. 7-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7860 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Imperfect information in logic and concurrent games

AU - Clairambault, Pierre

AU - Gutierrez, Julian

AU - Winskel, Glynn

PY - 2013

Y1 - 2013

N2 - This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. An extension to concurrent games with imperfect information, through the introduction of 'access levels' to restrict the allowable strategies, leads to a concurrent-game semantics for a variant of Hintikka and Sandu's Independence-Friendly (IF) logic.

AB - This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. An extension to concurrent games with imperfect information, through the introduction of 'access levels' to restrict the allowable strategies, leads to a concurrent-game semantics for a variant of Hintikka and Sandu's Independence-Friendly (IF) logic.

KW - Concurrent games

KW - Event structures

KW - IF logic

UR - http://www.scopus.com/inward/record.url?scp=84882785712&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-38164-5_2

DO - 10.1007/978-3-642-38164-5_2

M3 - Conference Paper

AN - SCOPUS:84882785712

SN - 9783642381638

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 7

EP - 20

BT - Computation, Logic, Games, and Quantum Foundations

A2 - Coecke, Bob

A2 - Ong, Luke

A2 - Panangaden, Prakash

PB - Springer

ER -

Clairambault P, Gutierrez J, Winskel G. Imperfect information in logic and concurrent games. In Coecke B, Ong L, Panangaden P, editors, Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Springer. 2013. p. 7-20. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-38164-5_2

Imperfect information in logic and concurrent games

Abstract

Publication series

Keywords

Access to Document

Other files and links

Cite this