Paper Citation Record · LEDGER

Dealing with imperfect information in Strategy Logic

As of 16 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:1908.02488.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.02488 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T14:53:54.041931Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact8
verified fuzzy6
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0a07897c-9f6b-4702-ace3-626ca545f8ad · outbound

This paper cites Henzinger & Orna Kupferman (2002) : Alternating-time tem- poral logic.

Dealing with imperfect information in Strategy Logic Henzinger & Orna Kupferman (2002) : Alternating-time tem- poral logic

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:53.932188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8baaca71-12ed-4a60-bc85-6074593e5048 · outbound

This paper cites In: SR, pp.

Dealing with imperfect information in Strategy Logic In: SR, pp

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.226646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b10de2a0-dbac-4b21-81ef-98837fb46515 · outbound

This paper cites In: Private communication.

Dealing with imperfect information in Strategy Logic In: Private communication

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:54.631960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6130439d-e3ee-4832-8e3b-448cc6291edd · outbound

This paper cites Bulletin of Economic Research 53(4), pp.

Dealing with imperfect information in Strategy Logic Bulletin of Economic Research 53(4), pp

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:53.948988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 242e921f-a734-4c6f-a76f-49fcd06e0d9d · outbound

This paper cites Cambridge University Press.

Dealing with imperfect information in Strategy Logic Cambridge University Press

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:54.615312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 55183403-4629-4479-a33a-c7d7720f94e9 · outbound

This paper cites In: Proceedings of SR 2014, pp.

Dealing with imperfect information in Strategy Logic In: Proceedings of SR 2014, pp

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.209523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0baa347b-7d14-4708-bb03-74f89724459f · outbound

This paper cites Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.

Dealing with imperfect information in Strategy Logic Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-14T14:53:54.375178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0cf75974-8256-4cbe-9e29-43ec1be543a7 · outbound

This paper cites In: CA V, pp.

Dealing with imperfect information in Strategy Logic In: CA V, pp

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:53.970388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91ff9c09-27bb-47a7-9f3f-170631606cac · outbound

This paper cites Henzinger & Nir Piterm an (2010): Strategy logic.

Dealing with imperfect information in Strategy Logic Henzinger & Nir Piterm an (2010): Strategy logic

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:53.975398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde7eae1-faa9-4990-a1c8-a884c5ae2057 · outbound

This paper cites Halpern, Y oram Moses & Moshe Y.

Dealing with imperfect information in Strategy Logic Halpern, Y oram Moses & Moshe Y

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:54.595688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 857c9e8f-925f-45c8-aaf6-0075e1503e6d · outbound

This paper cites Halpern, Ron van der Meyden & Moshe Y.

Dealing with imperfect information in Strategy Logic Halpern, Ron van der Meyden & Moshe Y

Reference 11

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.172137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6180fd8d-3130-443d-a311-1167a4ec3761 · outbound

This paper cites van der Hoek & M.

Dealing with imperfect information in Strategy Logic van der Hoek & M

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:53.991804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f30439f-b369-4579-92cb-53e2b3364e4e · outbound

This paper cites Jamroga & T.

Dealing with imperfect information in Strategy Logic Jamroga & T

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:54.578538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ec2c69c2-7887-4467-a7bf-90010185983f · outbound

This paper cites an unresolved cited work.

Dealing with imperfect information in Strategy Logic Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:53:54.561791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9b7b30fa-6012-4e4b-b977-ae0ed5d0eb1d · outbound

This paper cites Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003) , pp.

Dealing with imperfect information in Strategy Logic Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003) , pp

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:54.544451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2a31d5dd-12e3-424f-8a3c-0132be9fce30 · outbound

This paper cites In: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal V eriﬁcation, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013.

Dealing with imperfect information in Strategy Logic In: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal V eriﬁcation, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013

Reference 16

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.145286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bf89f2ab-b2e1-4bec-9d5b-0a78b48eeb2c · outbound

This paper cites V ardi (2012):What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.

Dealing with imperfect information in Strategy Logic V ardi (2012):What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.128481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 31c57816-0015-4df2-970d-b3dac0ebfa29 · outbound

This paper cites V ardi (2014):Reasoning About Strategies: On the Model-Checking Problem.

Dealing with imperfect information in Strategy Logic V ardi (2014):Reasoning About Strategies: On the Model-Checking Problem

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:54.021478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3f111d8-d5d4-4dc0-9a2b-a296bfc1fe8e · outbound

This paper cites V ardi (2010): Reasoning About Strategies.

Dealing with imperfect information in Strategy Logic V ardi (2010): Reasoning About Strategies

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.099310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a8e4d25a-ca13-432c-b871-1808117f6431 · outbound

This paper cites Pnueli & R.

Dealing with imperfect information in Strategy Logic Pnueli & R

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T14:53:54.031962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff4dcc15-0654-4045-ad3f-6c531729ed12 · outbound

This paper cites Reif (1984): The complexity of two-player games of incomplete informati on.

Dealing with imperfect information in Strategy Logic Reif (1984): The complexity of two-player games of incomplete informati on

Reference 21

Resolution: verified exact; doi, observed 2026-08-14T14:53:54.082555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ddbc082e-9152-4a29-91b4-715cc2f4835a · outbound

This paper cites Electronic Notes in Theoretical Computer Science 85(2), pp.

Dealing with imperfect information in Strategy Logic Electronic Notes in Theoretical Computer Science 85(2), pp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:54.526518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.