Paper Citation Record · LEDGER

Towards a Proof System for Probabilistic Dynamic Logic

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

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

pith.paper-citation-record.v1
2412.00906 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T05:02:06.338596Z

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

29 of 29 outbound references displayed

verified exact5
verified fuzzy4
unresolved16
parse uncertain0
malformed identifier3
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c3436b82-da27-4bdc-91b8-a44ec5b4ffa1 · outbound

This paper cites (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice, Lecture Notes in Computer Science, vol.

Towards a Proof System for Probabilistic Dynamic Logic (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice, Lecture Notes in Computer Science, vol

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T05:02:06.640719Z

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 4159a00a-3bfe-43b2-a2b4-4535366d212a · outbound

This paper cites Ab initio properties of the NaLi molecule in the $a^3\Sigma^+$ electronic state.

Towards a Proof System for Probabilistic Dynamic Logic Ab initio properties of the NaLi molecule in the $a^3\Sigma^+$ electronic state

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.266670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e785f6b9-4572-49f7-8dea-97b8a4036e9f · outbound

This paper cites MIT Press (2008).

Towards a Proof System for Probabilistic Dynamic Logic MIT Press (2008)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T05:02:06.632637Z

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 f40b5f38-5f67-483e-ac66-7046c4b0cce2 · outbound

This paper cites In: Baeten, J.C.M., Mauw, S.

Towards a Proof System for Probabilistic Dynamic Logic In: Baeten, J.C.M., Mauw, S

Reference 4

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T05:02:06.624977Z

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 5ac4708c-a432-4101-9532-83cca53ee632 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.275113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fac2922b-944f-4a7d-8f7d-9fb8ab5fedd2 · outbound

This paper cites In: Sankaranarayanan, S., Sharygina, N.

Towards a Proof System for Probabilistic Dynamic Logic In: Sankaranarayanan, S., Sharygina, N

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.277923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05ac353f-b18b-4c38-b6ec-5bc1fd28bc36 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T05:02:06.447165Z

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 35ccfae0-d828-471f-b87b-fe3a69cf96ea · outbound

This paper cites In: Ahrendt et al.

Towards a Proof System for Probabilistic Dynamic Logic In: Ahrendt et al

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T05:02:06.438841Z

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 08abb8aa-9d95-4035-afcf-08b61ab39ee3 · outbound

This paper cites Formal Aspects of Computing33(4), 617–636 (2021),https://doi.org/10.1007/s00165-020-00527-y 16 E.B.

Towards a Proof System for Probabilistic Dynamic Logic Formal Aspects of Computing33(4), 617–636 (2021),https://doi.org/10.1007/s00165-020-00527-y 16 E.B

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.285774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ac46413-142b-44cc-a280-83335d8fb6a9 · outbound

This paper cites In: Majumdar, R., Kuncak, V.

Towards a Proof System for Probabilistic Dynamic Logic In: Majumdar, R., Kuncak, V

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T05:02:06.617319Z

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 aa344bd7-7f68-4efe-bf0d-ec0730d3d31e · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.290763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0395069e-c6af-4119-864f-df28c1e1ed3a · outbound

This paper cites In: Apt, K.R., Hoare, T.

Towards a Proof System for Probabilistic Dynamic Logic In: Apt, K.R., Hoare, T

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T05:02:06.574397Z

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 ef3e44bf-405f-40f4-b537-8d66fe8c2d3b · outbound

This paper cites Foundations of Computing, MIT Press (Oct 2000).

Towards a Proof System for Probabilistic Dynamic Logic Foundations of Computing, MIT Press (Oct 2000)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T05:02:06.610159Z

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 37d0d9e9-4054-4420-9db2-19fbb3a10ea0 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.298142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a685485b-ff8e-4ee0-b5c0-823ea209318c · outbound

This paper cites In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M.

Towards a Proof System for Probabilistic Dynamic Logic In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M

Reference 15

Resolution: verified exact; doi, observed 2026-08-12T05:02:06.416491Z

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 fcc88a3e-d0e9-450f-83fd-23e9f466769e · outbound

This paper cites Formal Methods Syst.

Towards a Proof System for Probabilistic Dynamic Logic Formal Methods Syst

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.303273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95b716fe-c1b5-4b03-ad13-53cd7d3c2cf8 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.305921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3a8e9b5-c89d-48e4-b6bf-4894338e2916 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-12T05:02:06.602507Z

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 d1e8ad61-a489-4194-8114-ef25595b53d7 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.311066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0f60c51-8d05-46c9-a9ff-7c8d1bca024f · outbound

This paper cites In: Proc.

Towards a Proof System for Probabilistic Dynamic Logic In: Proc

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.313708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e682b9a-87a1-4fec-8bf9-74049025ac70 · outbound

This paper cites Monographs in Computer Science, Springer (2005),https://doi.org/10.1007/ b138392.

Towards a Proof System for Probabilistic Dynamic Logic Monographs in Computer Science, Springer (2005),https://doi.org/10.1007/ b138392

Reference 21

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T05:02:06.595534Z

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 e7568325-df03-44e2-97e3-a01693fed061 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.319513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54d564b0-cbd9-4abe-af50-62cf99b4974f · outbound

This paper cites In: Ramakrishnan, C.R., Rehof, J.

Towards a Proof System for Probabilistic Dynamic Logic In: Ramakrishnan, C.R., Rehof, J

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.322085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94d44575-39c5-4fe4-86ad-be09406ec230 · outbound

This paper cites In: Jobstmann, B., Leino, K.R.M.

Towards a Proof System for Probabilistic Dynamic Logic In: Jobstmann, B., Leino, K.R.M

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.325003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6407da45-586a-4a60-ae27-d76ef8e529a6 · outbound

This paper cites In: Proc.

Towards a Proof System for Probabilistic Dynamic Logic In: Proc

Reference 25

Resolution: verified exact; doi, observed 2026-08-12T05:02:06.379384Z

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 87acdf52-6391-4521-a59f-4908f87ccc2c · outbound

This paper cites Wiley (2005).

Towards a Proof System for Probabilistic Dynamic Logic Wiley (2005)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T05:02:06.588120Z

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 7d09ff18-b893-4617-bde4-16237b6f6923 · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.333473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c34d0fbe-3e09-4e48-ad6f-3bc5f5c69bfb · outbound

This paper cites an unresolved cited work.

Towards a Proof System for Probabilistic Dynamic Logic Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T05:02:06.336035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d294ca3-5680-4eef-a0b0-45e3b07575b5 · outbound

This paper cites In: Jansen, N., Tribastone, M.

Towards a Proof System for Probabilistic Dynamic Logic In: Jansen, N., Tribastone, M

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T05:02:06.362628Z

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.