Paper Citation Record · LEDGER

A declarative approach to specifying distributed algorithms using three-valued modal logic

As of 10 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 1 inbound Pith citation observation for arXiv:2502.00892.

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

pith.paper-citation-record.v1
2502.00892 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T17:30:28.943717Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-16T19:51:00.513249Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-16T19:51:13.116171Z

Reference resolution

12 of 12 outbound references displayed

verified exact1
verified fuzzy8
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5e32efc3-8c4e-4df3-aef1-55f9c1660650 · outbound

This paper cites 1-3, 31–60.

A declarative approach to specifying distributed algorithms using three-valued modal logic 1-3, 31–60

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.161623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d1abd3cc-1010-4d5d-a84e-e7eac28a2fe9 · outbound

This paper cites Gabbay, Semitopology: decentralised collaborative action via top ology, algebra, and logic, College Publications, August 2024, ISBN 9781848904651.

A declarative approach to specifying distributed algorithms using three-valued modal logic Gabbay, Semitopology: decentralised collaborative action via top ology, algebra, and logic, College Publications, August 2024, ISBN 9781848904651

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-09T17:30:28.919050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09f0aebc-a93b-42c5-acc8-905663580501 · outbound

This paper cites Reiter, Byzantine quorum systems , Distributed Comput.

A declarative approach to specifying distributed algorithms using three-valued modal logic Reiter, Byzantine quorum systems , Distributed Comput

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.082975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 78d4cb1e-275a-4e43-b4bd-855b5ebb863e · outbound

This paper cites 27, IEEE, 1994, pp.

A declarative approach to specifying distributed algorithms using three-valued modal logic 27, IEEE, 1994, pp

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.066346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 44bd6f23-09c8-48d6-8600-0e0537c01fa0 · outbound

This paper cites 2705–2718.

A declarative approach to specifying distributed algorithms using three-valued modal logic 2705–2718

Reference 1962

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.050855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3a94ed68-0e68-4d0f-805a-91f1b40529e6 · outbound

This paper cites Seltz er and Paul J.

A declarative approach to specifying distributed algorithms using three-valued modal logic Seltz er and Paul J

Reference 1990

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.116206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1f858a19-6350-4388-a24d-a88c8ef3f0fc · outbound

This paper cites Korhonen, eds.), ACM, 2021, pp.

A declarative approach to specifying distributed algorithms using three-valued modal logic Korhonen, eds.), ACM, 2021, pp

Reference 1999

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.098737Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8dd1198d-593f-4f2b-ae47-8302c019bbbf · outbound

This paper cites 3-Slot-Finality Protocol for Ethereum.

A declarative approach to specifying distributed algorithms using three-valued modal logic 3-Slot-Finality Protocol for Ethereum

Reference 2002

Resolution: verified exact; local_arxiv, observed 2026-08-09T17:30:29.001024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5cc9a3d8-2e44-491d-82b6-aa1dea7afe89 · outbound

This paper cites Combining GHOST and Casper.

A declarative approach to specifying distributed algorithms using three-valued modal logic Combining GHOST and Casper

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-09T17:30:28.893320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb682fc9-ea18-4713-afb3-5b47037bc508 · outbound

This paper cites an unresolved cited work.

A declarative approach to specifying distributed algorithms using three-valued modal logic Unresolved cited work

Reference 2011

Resolution: unresolved; raw_fallback, observed 2026-08-09T17:30:29.146536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 691cf0cc-a8e2-4e5e-a49f-d985d029a9d6 · outbound

This paper cites 7436, Springer, 2012, pp.

A declarative approach to specifying distributed algorithms using three-valued modal logic 7436, Springer, 2012, pp

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.131728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 377133cf-f8d3-470e-87a6-eaac5abc68cb · outbound

This paper cites Y akovenko, Solana: A new architecture for a high performance blockchain v0.8.13, Whitepa- per, 2018, https://solana.com/solana-whitepaper.pdf.

A declarative approach to specifying distributed algorithms using three-valued modal logic Y akovenko, Solana: A new architecture for a high performance blockchain v0.8.13, Whitepa- per, 2018, https://solana.com/solana-whitepaper.pdf

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T17:30:29.035058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

Observation c1d2d330-b3a1-48e5-9f50-4a3bc4f8ac38 · inbound

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies cites this paper.

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies A declarative approach to specifying distributed algorithms using three-valued modal logic

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-16T19:51:13.117761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.