We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Positional Injectivity for Innocent Strategies

Authors: Lison Blondeau-Patissier (ENS Lyon), Pierre Clairambault (LIP, PLUME)
Abstract: In asynchronous games, Melli{\`e}s proved that innocent strategies are positional: their behaviour only depends on the position, not the temporal order used to reach it. This insightful result shaped our understanding of the link between dynamic (i.e. game) and static (i.e. relational) semantics. In this paper, we investigate the positionality of innocent strategies in the traditional setting of Hyland-Ong-Nickau-Coquand pointer games. We show that though innocent strategies are not positional, total finite innocent strategies still enjoy a key consequence of positionality, namely positional injectivity: they are entirely determined by their positions. Unfortunately, this does not hold in general: we show a counterexample if finiteness and totality are lifted. For finite partial strategies we leave the problem open; we show however the partial result that two strategies with the same positions must have the same P-views of maximal length.
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
Journal reference: 6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
Cite as: arXiv:2105.02485 [cs.LO]
  (or arXiv:2105.02485v1 [cs.LO] for this version)

Submission history

From: Pierre Clairambault [view email]
[v1] Thu, 6 May 2021 07:38:07 GMT (77kb,D)

Link back to: arXiv, form interface, contact.