Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:53:02.495357Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.