Paper Citation Record · LEDGER

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity

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

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

pith.paper-citation-record.v1
2607.13981 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T03:20:04.045703Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

16 of 16 outbound references displayed

verified exact12
verified fuzzy0
unresolved3
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f4d58206-25c0-4e38-904a-d99a693966d1 · outbound

This paper cites Metric linear-time temporal logic with strict first-time semantics.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity Metric linear-time temporal logic with strict first-time semantics

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T03:20:03.134013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85d29edc-910f-40bc-9580-259b607bc7e3 · outbound

This paper cites Springer, 2009.doi:10.1007/978-3-642-04761-9\_26.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity Springer, 2009.doi:10.1007/978-3-642-04761-9\_26

Reference 5

Resolution: verified exact; doi, observed 2026-08-02T03:23:29.121452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 19f2d1c7-5a20-4a78-aa1d-50fba1d9ce2d · outbound

This paper cites 13 Thomas Møller Grosen, Sean Kauffman, Kim G.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 13 Thomas Møller Grosen, Sean Kauffman, Kim G

Reference 7

Resolution: verified exact; doi, observed 2026-08-02T03:23:29.035735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ef4ae3d3-c48c-4532-8cb0-acfee39660f5 · outbound

This paper cites 14 Stéphane Lafortune, Feng Lin, and Christoforos N.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 14 Stéphane Lafortune, Feng Lin, and Christoforos N

Reference 8

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.958757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ea11e810-7a74-4242-b43c-cca642fea9a3 · outbound

This paper cites 2008.08.004,doi:10.1016/J.JLAP.2008.08.004.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 2008.08.004,doi:10.1016/J.JLAP.2008.08.004

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-02T03:20:04.027401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7f077c4-97da-49a2-989a-55550dc55ce3 · outbound

This paper cites an unresolved cited work.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.561595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8a1288a2-f6f8-4b4c-9e89-c0bc0b597e18 · outbound

This paper cites 12 Bernd Finkbeiner and Julian Siber.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 12 Bernd Finkbeiner and Julian Siber

Reference 1995

Resolution: unresolved; no resolver link, observed 2026-08-02T03:20:03.783363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 665537a1-c095-4ffe-b207-f26ec2267740 · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity Reducing urban traffic congestion due to localized routing decisions

Reference 2002

Resolution: unresolved; no resolver link, observed 2026-08-02T03:20:04.017684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0df774a-e3d4-48c2-8761-7eb1a568c241 · outbound

This paper cites 17 Martin Leucker and Christian Schallhart.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 17 Martin Leucker and Christian Schallhart

Reference 2006

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.793730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 95b26368-53af-41ce-98dd-e57e67176b80 · outbound

This paper cites 19 Bastien Maubert, Sophie Pinchinat, and Laura Bozzelli.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 19 Bastien Maubert, Sophie Pinchinat, and Laura Bozzelli

Reference 2007

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.705817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 689876bc-0df4-4477-a1e5-31007d11860c · outbound

This paper cites 7 Franck Cassez.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 7 Franck Cassez

Reference 2008

Resolution: verified exact; doi, observed 2026-08-02T03:23:29.251190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9c78107a-2e06-4b12-a1f3-584894cc2f99 · outbound

This paper cites 8 Franck Cassez, Jérémy Dubreil, and Hervé Marchand.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 8 Franck Cassez, Jérémy Dubreil, and Hervé Marchand

Reference 2009

Resolution: verified exact; doi, observed 2026-08-02T03:23:29.183890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 918b1cfc-5295-4ef6-9cd0-82919ee8341b · outbound

This paper cites 20 Amir Pnueli and Aleksandr Zaks.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 20 Amir Pnueli and Aleksandr Zaks

Reference 2011

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.623346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7f9ccfcb-1866-43eb-87a9-4c85b32769c8 · outbound

This paper cites 18 Epistemic Metric Temporal Logic with Past A Lower-Bound Details We give the formulas used in Section 4 and prove the properties claimed there.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 18 Epistemic Metric Temporal Logic with Past A Lower-Bound Details We give the formulas used in Section 4 and prove the properties claimed there

Reference 2016

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.500528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1526a72e-978a-4bc2-b725-c5cc045bb796 · outbound

This paper cites 15 François Laroussinie, Nicolas Markey, and Philippe Schnoebelen.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 15 François Laroussinie, Nicolas Markey, and Philippe Schnoebelen

Reference 2018

Resolution: verified exact; doi, observed 2026-08-02T03:23:28.871458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9310925d-7a72-4ea3-805d-99022eca9acf · outbound

This paper cites 3,doi:10.4230/LIPICS.TIME.2025.3.

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity 3,doi:10.4230/LIPICS.TIME.2025.3

Reference 2025

Resolution: verified exact; doi, observed 2026-08-02T03:23:29.327133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Pith citing papers

No inbound Pith citation observations are available.