Paper Citation Record · LEDGER

Coalgebraic proof translations for non-wellfounded proofs

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

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

pith.paper-citation-record.v1
2506.01711 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:53:02.495357Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

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

21 of 21 outbound references displayed

verified exact2
verified fuzzy6
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4f6e90c6-6221-4a45-a7bc-1a2c8dcd24e6 · outbound

This paper cites Grotenhuis, G.

Coalgebraic proof translations for non-wellfounded proofs Grotenhuis, G

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:53:05.649783Z

Source-reported events for the cited work

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

Observation 58865094-3985-44da-bd0f-aea881f4fa28 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:05.443145Z

Source-reported events for the cited work

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

Observation 332bfb45-0c91-481b-bdad-9db9d632874b · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:05.224133Z

Source-reported events for the cited work

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

Observation 4cec1b0d-81f4-40a0-a3d2-24dd15612777 · outbound

This paper cites Doumane and A.

Coalgebraic proof translations for non-wellfounded proofs Doumane and A

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T11:53:01.510504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 323ec5c8-b112-4e11-afc1-96b618753f5b · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:05.018958Z

Source-reported events for the cited work

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

Observation 156560e0-b6f3-4680-89a2-da3174f2395a · outbound

This paper cites Kuznets and T.

Coalgebraic proof translations for non-wellfounded proofs Kuznets and T

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:53:04.803292Z

Source-reported events for the cited work

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

Observation 43a9cdca-ca77-4c6a-ba1a-bdbaf83ce883 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T11:53:01.530763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e2ea614-aad1-44bf-9ad3-1d46aa69a231 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T11:53:02.909369Z

Source-reported events for the cited work

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

Observation 10b431e4-b845-4911-93b4-0ef12233e473 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T11:53:01.543884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 105bd5aa-1657-4cd4-b05c-7b7ba5482582 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T11:53:02.726205Z

Source-reported events for the cited work

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

Observation 12fbbc13-a5f8-4631-8d5c-882b173140b8 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T11:53:01.556257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0484532e-d4d4-4666-9611-bb9bf5d9d9d9 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:04.586278Z

Source-reported events for the cited work

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

Observation 73049582-872f-4057-8c68-c1b2976cc8e8 · outbound

This paper cites Ramanayake and J.

Coalgebraic proof translations for non-wellfounded proofs Ramanayake and J

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:53:04.393553Z

Source-reported events for the cited work

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

Observation 56fec662-1056-4723-a90c-a4f3b6f783b2 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:04.207600Z

Source-reported events for the cited work

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

Observation a6e0d11f-1f98-4538-b84e-73b37b4e4987 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:04.046595Z

Source-reported events for the cited work

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

Observation 36cfb9bb-ef00-4018-b865-3288e380cf43 · outbound

This paper cites S., Circular proofs for the G¨ odel-L¨ ob provability logic, Mathematical Notes 96 (2014), pp.

Coalgebraic proof translations for non-wellfounded proofs S., Circular proofs for the G¨ odel-L¨ ob provability logic, Mathematical Notes 96 (2014), pp

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T11:53:01.807226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32902fa0-0d0e-4187-a156-b2c7a54cd125 · outbound

This paper cites Esparza and A.

Coalgebraic proof translations for non-wellfounded proofs Esparza and A

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:53:03.849977Z

Source-reported events for the cited work

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

Observation 8e02978c-3a6a-44d7-89ac-912634dc5315 · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:53:03.605401Z

Source-reported events for the cited work

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

Observation 0193e5b9-02ef-4b74-97a4-46e14d80dbce · outbound

This paper cites an unresolved cited work.

Coalgebraic proof translations for non-wellfounded proofs Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T11:53:02.222186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccc188ad-eef6-4555-ae4e-ecb1b997407f · outbound

This paper cites M., Cyclic proof systems for modal fixpoint logics , ILLC Dissertation series (2024).

Coalgebraic proof translations for non-wellfounded proofs M., Cyclic proof systems for modal fixpoint logics , ILLC Dissertation series (2024)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:53:03.408878Z

Source-reported events for the cited work

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

Observation 5f8401bd-3304-426a-bd52-4302e5eec9c6 · outbound

This paper cites Blackburn, J.

Coalgebraic proof translations for non-wellfounded proofs Blackburn, J

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:53:03.244609Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.