Paper Citation Record · LEDGER

Weakest Precondition Rules for Programs with Linear Temporal Specifications

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

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

pith.paper-citation-record.v1
2602.10746 v2

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T01:08:26.717718Z

measured 23 of 23 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

23 of 23 outbound references displayed

verified exact1
verified fuzzy0
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a4545e81-b80c-4a10-99cf-5b277e430b00 · outbound

This paper cites In: International Con- ference on Automated Deduction.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: International Con- ference on Automated Deduction

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:24.610745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ff106cc-9239-4383-937a-e1d9aefa7080 · outbound

This paper cites arXiv preprint arXiv:2504.14283 (2025).

Weakest Precondition Rules for Programs with Linear Temporal Specifications arXiv preprint arXiv:2504.14283 (2025)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:24.684086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3ba6849-fe50-4054-a7ae-e52d695bfcae · outbound

This paper cites In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:24.750092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2da4268-b82a-4497-896d-9dcf78734e3a · outbound

This paper cites In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:24.818202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8320714f-e646-499a-92a7-da52346f7fe8 · outbound

This paper cites an unresolved cited work.

Weakest Precondition Rules for Programs with Linear Temporal Specifications Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:24.937495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce90a1d8-2ace-4324-8f33-4438ea50612b · outbound

This paper cites BIT Numerical Mathematics8(3), 174–186 (1968).

Weakest Precondition Rules for Programs with Linear Temporal Specifications BIT Numerical Mathematics8(3), 174–186 (1968)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.022692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29bff62c-33ff-4251-98d6-cfeedfff55a6 · outbound

This paper cites Descriptive Complexity and Finite Models31, 185–214 (1996).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Descriptive Complexity and Finite Models31, 185–214 (1996)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.117189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea950825-8e7f-4b9a-9b30-9a9c6646208a · outbound

This paper cites In: Proc.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: Proc

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.254096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecfbd3c5-3d69-43d3-b41f-7da24b6cca61 · outbound

This paper cites In: Proc.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: Proc

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.312089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f733c7f-7ab1-4820-9fb9-f1d668ed7a79 · outbound

This paper cites Mathematical Aspects of Computer Science19(19-32), 1 (1967).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Mathematical Aspects of Computer Science19(19-32), 1 (1967)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.483146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75c17f55-c725-49c1-aae7-457b42e6cc6f · outbound

This paper cites An Expressive Trace Logic for Recursive Programs.

Weakest Precondition Rules for Programs with Linear Temporal Specifications An Expressive Trace Logic for Recursive Programs

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.593164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57a6b702-a133-45ea-bbe7-35427368c41a · outbound

This paper cites Dagstuhl Reports12(11), 1–27 (2023).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Dagstuhl Reports12(11), 1–27 (2023)

Reference 12

Resolution: verified exact; doi, observed 2026-08-03T01:13:28.898761Z

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 8a7be310-09d5-46a3-ae01-6a9f22832b12 · outbound

This paper cites In: Active Object Languages: Current Research Trends, pp.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: Active Object Languages: Current Research Trends, pp

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.824996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15a170ad-e215-4e6b-8827-06356e75b4cb · outbound

This paper cites Communications of the ACM12(10), 576–580 (1969).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Communications of the ACM12(10), 576–580 (1969)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:25.971646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a5ae429-20a0-485c-99a6-3dda97c37b85 · outbound

This paper cites ACM Transactions on Programming Languages and Systems (TOPLAS)16(3), 872–923 (1994).

Weakest Precondition Rules for Programs with Linear Temporal Specifications ACM Transactions on Programming Languages and Systems (TOPLAS)16(3), 872–923 (1994)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.033065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 288b8520-7bcb-4e32-9bcc-239ec20e5724 · outbound

This paper cites Formal Aspects of Computing4(2), 195–236 (1992).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Formal Aspects of Computing4(2), 195–236 (1992)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.183217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f0da206-5633-4e24-bf63-8ffec1190652 · outbound

This paper cites Logical Methods in Computer Science11(2015).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Logical Methods in Computer Science11(2015)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.283363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a23161eb-73e3-42dc-b4f3-aec57a80ba3e · outbound

This paper cites Applied Sciences10(11), 3928 (2020).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Applied Sciences10(11), 3928 (2020)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.368143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d86ccdac-9b7e-4e8c-ad12-59e41768c496 · outbound

This paper cites In: European Symposium on Program- ming.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: European Symposium on Program- ming

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.428633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee390e2c-2016-41ff-b0e5-a8df781e57d1 · outbound

This paper cites In: International Conference on Algebraic Methodology and Software Tech- nology.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: International Conference on Algebraic Methodology and Software Tech- nology

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.513197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 906ce034-dc16-4a1e-add8-b3d2e7a2c4e4 · outbound

This paper cites Annals of Mathematics and Artificial Intelligence (AMAI)71, 1–44 (2014).

Weakest Precondition Rules for Programs with Linear Temporal Specifications Annals of Mathematics and Artificial Intelligence (AMAI)71, 1–44 (2014)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.582211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a48e0ee-ee42-457f-9e8a-ec2b6ec19353 · outbound

This paper cites In: The Logic of Software.

Weakest Precondition Rules for Programs with Linear Temporal Specifications In: The Logic of Software

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.638350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb8c4694-db54-4008-8875-7971c6ad68d7 · outbound

This paper cites Software & Systems Modeling14(1), 83–100 (2015) 14.

Weakest Precondition Rules for Programs with Linear Temporal Specifications Software & Systems Modeling14(1), 83–100 (2015) 14

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T01:08:26.717718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.