Paper Citation Record · LEDGER

LeanLTL: A unifying framework for linear temporal logics in Lean

As of 21 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2507.01780.

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

pith.paper-citation-record.v1
2507.01780 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:50:59.560268Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

18 of 18 outbound references displayed

verified exact12
verified fuzzy0
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation da49cad1-69ec-4cdb-92d2-6c8fb0f007c8 · outbound

This paper cites doi: 10.1007/978-3-319-96145-3_31.

LeanLTL: A unifying framework for linear temporal logics in Lean doi: 10.1007/978-3-319-96145-3_31

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T20:50:59.534701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dee642fa-0863-4821-8eb5-0d73f052956b · outbound

This paper cites 25 Amir Pnueli.

LeanLTL: A unifying framework for linear temporal logics in Lean 25 Amir Pnueli

Reference 14

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.642230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f190b351-cb13-4021-83e5-4405f2bd9934 · outbound

This paper cites 27 Andoni Rodríguez and César Sánchez.

LeanLTL: A unifying framework for linear temporal logics in Lean 27 Andoni Rodríguez and César Sánchez

Reference 16

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.627585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 035c60c4-82e7-4edd-9820-24bedf01d49e · outbound

This paper cites 28 Dante Zanarini, Carlos Luna, and Luis Sierra.

LeanLTL: A unifying framework for linear temporal logics in Lean 28 Dante Zanarini, Carlos Luna, and Luis Sierra

Reference 17

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.612784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a1707384-adab-46a6-a9f2-ffef9a16700e · outbound

This paper cites org/document/4567924, doi:10.1109/SFCS.1977.32.

LeanLTL: A unifying framework for linear temporal logics in Lean org/document/4567924, doi:10.1109/SFCS.1977.32

Reference 1977

Resolution: verified exact; raw_fallback, observed 2026-08-06T20:50:59.998643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9c7ec8b9-dc93-4079-9676-c72b1cbdaf4f · outbound

This paper cites 22 James Oswald.

LeanLTL: A unifying framework for linear temporal logics in Lean 22 James Oswald

Reference 2003

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.656680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 78365e46-f4e1-4280-8b6c-7a61b36e5193 · outbound

This paper cites 4 Edwin Brady.

LeanLTL: A unifying framework for linear temporal logics in Lean 4 Edwin Brady

Reference 2007

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.784003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fde4fbac-8339-45ef-83a9-5207828633e1 · outbound

This paper cites 18 Philipp J.

LeanLTL: A unifying framework for linear temporal logics in Lean 18 Philipp J

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-06T20:50:59.530486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb33344a-44ce-414a-9d75-0a0d1763353a · outbound

This paper cites 3 Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer.

LeanLTL: A unifying framework for linear temporal logics in Lean 3 Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer

Reference 2010

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.799031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9a74de59-7fab-4c79-80be-31a58ee9a714 · outbound

This paper cites doi: 10.1007/978-3-642-22110-1_47.

LeanLTL: A unifying framework for linear temporal logics in Lean doi: 10.1007/978-3-642-22110-1_47

Reference 2011

Resolution: unresolved; no resolver link, observed 2026-08-06T20:50:59.526130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7ab734b-bf36-4e57-a564-81fad261ead6 · outbound

This paper cites doi:10.1007/978-3-642-33296-8_16.

LeanLTL: A unifying framework for linear temporal logics in Lean doi:10.1007/978-3-642-33296-8_16

Reference 2012

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.597009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b515cdd7-71d1-419e-98f3-8613b5876c52 · outbound

This paper cites 5 Conrado Daws, Marta Kwiatkowska, and Gethin Norman.

LeanLTL: A unifying framework for linear temporal logics in Lean 5 Conrado Daws, Marta Kwiatkowska, and Gethin Norman

Reference 2013

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.769581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3a80f2b4-a37f-4d2d-b256-bfd90947cdbc · outbound

This paper cites URL:https://dl.acm.org/ doi/10.1145/2735960.2735973, doi:10.1145/2735960.2735973.

LeanLTL: A unifying framework for linear temporal logics in Lean URL:https://dl.acm.org/ doi/10.1145/2735960.2735973, doi:10.1145/2735960.2735973

Reference 2015

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:51:00.077401Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b3593676-21ff-42e1-8f81-1d343e30c52d · outbound

This paper cites 8 Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu.

LeanLTL: A unifying framework for linear temporal logics in Lean 8 Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu

Reference 2016

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.754790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation eda5c8da-7226-4711-bc42-51d835c7259c · outbound

This paper cites 2 Andreas Bauer, Martin Leucker, and Christian Schallhart.

LeanLTL: A unifying framework for linear temporal logics in Lean 2 Andreas Bauer, Martin Leucker, and Christian Schallhart

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-06T20:50:59.483621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4eb7427d-6714-40cf-81ef-3bf920b7e2f5 · outbound

This paper cites org/proceedings/2022/366, doi:10.24963/ijcai.2022/366.

LeanLTL: A unifying framework for linear temporal logics in Lean org/proceedings/2022/366, doi:10.24963/ijcai.2022/366

Reference 2022

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.739584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 14c1bd69-9476-421f-950c-4ea9adee1dbd · outbound

This paper cites 12 Luca Geatti, Nicola Gigante, and Angelo Montanari.

LeanLTL: A unifying framework for linear temporal logics in Lean 12 Luca Geatti, Nicola Gigante, and Angelo Montanari

Reference 2023

Resolution: verified exact; doi, observed 2026-08-06T20:50:59.725362Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e534c9a1-1f6d-4b62-95be-8973b7ecf3c2 · outbound

This paper cites Formalizing MLTL Formula Progression in Isabelle/HOL.

LeanLTL: A unifying framework for linear temporal logics in Lean Formalizing MLTL Formula Progression in Isabelle/HOL

Reference 2025

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T20:50:59.709397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Pith citing papers

No inbound Pith citation observations are available.