Paper Citation Record · LEDGER

Semantics for Linear-time Temporal Logic with Finite Observations

As of 13 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2411.14581.

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

pith.paper-citation-record.v1
2411.14581 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:17:13.702036Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

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

27 of 27 outbound references displayed

verified exact8
verified fuzzy3
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6337ecfc-d7cb-41a4-9b01-ae76172edcc3 · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Semantics for Linear-time Temporal Logic with Finite Observations , " * write output.state after.block = add.period write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.570791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9aa1902-c83d-4c05-a02c-cf30b53e45bd · outbound

This paper cites write newline.

Semantics for Linear-time Temporal Logic with Finite Observations write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.576592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1586e29d-3aab-4c78-8448-780eba15604c · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Semantics for Linear-time Temporal Logic with Finite Observations , " * write output.state after.block = add.period write newline

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.582316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af81eb71-d430-446a-8206-8c9b0135a095 · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Semantics for Linear-time Temporal Logic with Finite Observations , " * write output.state after.block = add.period write newline

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.587537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f59d82d-7258-4474-b1a8-d30f16c2d686 · outbound

This paper cites write newline.

Semantics for Linear-time Temporal Logic with Finite Observations write newline

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.593123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4b4f2e5-4a71-46fb-8a91-ffabad6f00e2 · outbound

This paper cites journal Proceedings of the ACM on Programming Languages volume 3 ( number POPL ), pp.

Semantics for Linear-time Temporal Logic with Finite Observations journal Proceedings of the ACM on Programming Languages volume 3 ( number POPL ), pp

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.599076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2ea9340-cce9-4a17-b37f-45b0530929f6 · outbound

This paper cites journal Archive of Formal Proofs.

Semantics for Linear-time Temporal Logic with Finite Observations journal Archive of Formal Proofs

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:17:14.236067Z

Source-reported events for the cited work

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

Observation ca4f4fec-4b32-48eb-b41e-90063385a8a7 · outbound

This paper cites Schneider ( year 1985 ): title Defining liveness.

Semantics for Linear-time Temporal Logic with Finite Observations Schneider ( year 1985 ): title Defining liveness

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.609184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 813a9c1d-820b-4580-9189-f9e0433fa04f · outbound

This paper cites In: booktitle FM 2012: Formal Methods , publisher Springer , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle FM 2012: Formal Methods , publisher Springer , pp

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.923284Z

Source-reported events for the cited work

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

Observation fd284034-6292-48ca-aa20-4371ea4a2cd7 · outbound

This paper cites pages 141–153.

Semantics for Linear-time Temporal Logic with Finite Observations pages 141–153

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:17:14.220885Z

Source-reported events for the cited work

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

Observation 77c38b65-e3e1-4592-9c3d-a145f06e6727 · outbound

This paper cites In: booktitle Handbook of Philosophical Logic , publisher Springer , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle Handbook of Philosophical Logic , publisher Springer , pp

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.906262Z

Source-reported events for the cited work

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

Observation 8b4798e8-0733-499f-995c-09796b0e5c9a · outbound

This paper cites pages 126--138 , doi:10.1007/978-3-540-77395-5_11.

Semantics for Linear-time Temporal Logic with Finite Observations pages 126--138 , doi:10.1007/978-3-540-77395-5_11

Reference 12

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.889139Z

Source-reported events for the cited work

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

Observation a31bace2-babb-4462-8dec-614063bbdc21 · outbound

This paper cites journal Journal of Logic and Computation volume 20 ( number 3 ), pp.

Semantics for Linear-time Temporal Logic with Finite Observations journal Journal of Logic and Computation volume 20 ( number 3 ), pp

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.634376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c676a8f8-ad7f-4310-8240-374cbf001060 · outbound

This paper cites journal ACM Transactions on Software Engineering Methodology volume 20 ( number 4 ), doi:10.1145/2000799.2000800.

Semantics for Linear-time Temporal Logic with Finite Observations journal ACM Transactions on Software Engineering Methodology volume 20 ( number 4 ), doi:10.1145/2000799.2000800

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.639054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5479e26-fad0-4119-b305-d38828c388fa · outbound

This paper cites In: booktitle Logic and Algebra of Specification , publisher Springer , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle Logic and Algebra of Specification , publisher Springer , pp

Reference 15

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.861017Z

Source-reported events for the cited work

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

Observation ccbcedc0-56dd-42ab-b426-bd1ad6112994 · outbound

This paper cites In: booktitle IEEE 44th International Symposium on Multiple-Valued Logic , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle IEEE 44th International Symposium on Multiple-Valued Logic , pp

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.845332Z

Source-reported events for the cited work

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

Observation 28702110-a723-47cf-807d-5d45ad55c6d5 · outbound

This paper cites In: booktitle Computer Aided Verification , publisher Springer , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle Computer Aided Verification , publisher Springer , pp

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.830156Z

Source-reported events for the cited work

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

Observation 21a926fb-4371-4ad4-ab81-6d36d23cc817 · outbound

This paper cites Henzinger , author Nicolas Mazzocchi & author N.

Semantics for Linear-time Temporal Logic with Finite Observations Henzinger , author Nicolas Mazzocchi & author N

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.814266Z

Source-reported events for the cited work

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

Observation 5dfe7b27-372c-40e9-8b1f-34a4f34123fd · outbound

This paper cites In: booktitle International Conference on Automated Planning and Scheduling , publisher AAAI , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle International Conference on Automated Planning and Scheduling , publisher AAAI , pp

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:17:14.202118Z

Source-reported events for the cited work

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

Observation fe5774e5-49b9-4532-944d-d3b7bcc0cb90 · outbound

This paper cites Vardi ( year 2001 ): title Model Checking of Safety Properties.

Semantics for Linear-time Temporal Logic with Finite Observations Vardi ( year 2001 ): title Model Checking of Safety Properties

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.667572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d2276ee-83aa-404f-b1d1-707a22222e7c · outbound

This paper cites journal IEEE Transactions on Software Engineering volume 3 ( number 2 ), pp.

Semantics for Linear-time Temporal Logic with Finite Observations journal IEEE Transactions on Software Engineering volume 3 ( number 2 ), pp

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.672778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04c04ce8-1ef0-4e54-b485-e3739bbb5681 · outbound

This paper cites In: booktitle Logics of Programs , publisher Springer , pp.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle Logics of Programs , publisher Springer , pp

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.677790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a21bdb53-1b6b-4184-8f04-7eb9a04740cd · outbound

This paper cites publisher Springer , doi:10.1007/978-1-4612-0931-7.

Semantics for Linear-time Temporal Logic with Finite Observations publisher Springer , doi:10.1007/978-1-4612-0931-7

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.682728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca885c6e-6b57-4369-be8a-462bc67d6109 · outbound

This paper cites publisher Springer , doi:10.1007/978-1-4612-4222-2.

Semantics for Linear-time Temporal Logic with Finite Observations publisher Springer , doi:10.1007/978-1-4612-4222-2

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.687421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 060ea0c5-11b4-4571-aebb-fec9b8ee5e03 · outbound

This paper cites In: booktitle Programming Language Design and Implementation , series PLDI 2022 , publisher ACM , p.

Semantics for Linear-time Temporal Logic with Finite Observations In: booktitle Programming Language Design and Implementation , series PLDI 2022 , publisher ACM , p

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.692188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd07ec16-83f4-4920-b0f8-3c5894796cfc · outbound

This paper cites journal Automated Software Engineering volume 12 ( number 2 ), pp.

Semantics for Linear-time Temporal Logic with Finite Observations journal Automated Software Engineering volume 12 ( number 2 ), pp

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:13.696878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c16ef94f-ed12-448e-b3d2-f1ca17c6e112 · outbound

This paper cites an unresolved cited work.

Semantics for Linear-time Temporal Logic with Finite Observations Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T15:17:13.742094Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.