Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T22:15:21.160725Z
Paper Citation Record · LEDGER
Logical foundations of Smart Contracts
As of 8 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2502.09232.
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-08T06:32:00.761636+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
34 of 34 outbound references displayed
- verified exact21
- verified fuzzy8
- unresolved2
- parse uncertain0
- malformed identifier3
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b568bea8-72c8-4d58-9702-b615eabf247e · outbound
This paper cites Azzopardi, G.J.
Logical foundations of Smart Contracts Azzopardi, G.J
Reference 1
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T22:15:21.004745Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b10b0590-0e1c-4dbc-8e9d-3afd65bdb109 · outbound
This paper cites Languages for Smart and Computable Contracts.
Logical foundations of Smart Contracts Languages for Smart and Computable Contracts
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T22:15:23.165084Z
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 dc2dc9c6-da20-42ff-9d1c-c4482c255347 · outbound
This paper cites an unresolved cited work.
Logical foundations of Smart Contracts Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T22:15:23.298194Z
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 77304d29-99f6-4047-a2ba-68cf328113d4 · outbound
This paper cites Daskalopulu & M.J.
Logical foundations of Smart Contracts Daskalopulu & M.J
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.418814Z
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 3557cc36-fc09-4906-bda3-1d6e82f0f432 · outbound
This paper cites Dorri, S.S.
Logical foundations of Smart Contracts Dorri, S.S
Reference 5
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:23.142694Z
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 fbf67fe4-6df6-4e70-b6a2-b82d06d16463 · outbound
This paper cites Elsden, A.
Logical foundations of Smart Contracts Elsden, A
Reference 6
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:22.949576Z
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 f3125a8c-b145-404e-a455-84343d15b512 · outbound
This paper cites Giannikis & A.
Logical foundations of Smart Contracts Giannikis & A
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.389357Z
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 39de08a1-4b33-4de4-b742-2df52ad98163 · outbound
This paper cites Governatori, F.
Logical foundations of Smart Contracts Governatori, F
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T22:15:21.041272Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 386e5d64-573a-409a-ae04-02aeda4bd554 · outbound
This paper cites Han, R.K.
Reference 9
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:22.775552Z
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 a2bdb6ad-0959-46f4-a73a-8619967652cd · outbound
This paper cites Hofmann, T.
Logical foundations of Smart Contracts Hofmann, T
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.283644Z
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 bd46911a-c762-458b-b8ba-c56d755596c3 · outbound
This paper cites Krishna & K.
Logical foundations of Smart Contracts Krishna & K
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.352445Z
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 ac69d54d-22ea-431d-88eb-a6c3d2a8ffc6 · outbound
This paper cites de Kruijff & H.
Logical foundations of Smart Contracts de Kruijff & H
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.267783Z
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 6304fca2-2e24-4436-a589-258daa67799e · outbound
This paper cites Levesque, R.
Logical foundations of Smart Contracts Levesque, R
Reference 13
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-07T22:15:21.337612Z
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 9848559d-12d6-4e0e-8921-a7c8e8b57270 · outbound
This paper cites McCarthy (1963): Situations, actions, and causal laws.
Logical foundations of Smart Contracts McCarthy (1963): Situations, actions, and causal laws
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.253403Z
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 70b5ca76-f481-4a72-986d-5cb68a219dc1 · outbound
This paper cites McIlraith & T.C.
Logical foundations of Smart Contracts McIlraith & T.C
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.238367Z
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 14a1b61f-a538-4e08-b0e2-fc07a25ace9b · outbound
This paper cites Monrat, O.
Logical foundations of Smart Contracts Monrat, O
Reference 16
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:22.553290Z
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 19133618-ad72-4ba9-ade2-f09fb435167a · outbound
This paper cites Mourtzis, J.
Logical foundations of Smart Contracts Mourtzis, J
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.322601Z
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 5c53c36a-97ed-434b-8013-36ba1e1fad9f · outbound
This paper cites Panarello, N.
Logical foundations of Smart Contracts Panarello, N
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.307263Z
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 ad32b679-0c4f-491a-b346-f99dc0643534 · outbound
This paper cites Parvizimosaed (2020): Towards the Specification and Verification of Legal Contracts.
Logical foundations of Smart Contracts Parvizimosaed (2020): Towards the Specification and Verification of Legal Contracts
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.223818Z
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 ee73e087-7cd2-4f82-ae7d-47664a45c7d2 · outbound
This paper cites Parvizimosaed, S.
Logical foundations of Smart Contracts Parvizimosaed, S
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.291864Z
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 1bdf5260-9d59-44ca-86ef-45723551dfd0 · outbound
This paper cites Pirri & R.
Logical foundations of Smart Contracts Pirri & R
Reference 21
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:22.347498Z
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 7eeb1432-074d-4db2-9ac2-8116e0d58a67 · outbound
This paper cites Rahman, M.M.
Logical foundations of Smart Contracts Rahman, M.M
Reference 22
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:22.154571Z
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 865150d3-1cab-4bcc-adce-e7ce1f96c4d1 · outbound
This paper cites Ramamurthy (2020): Blockchain in action.
Logical foundations of Smart Contracts Ramamurthy (2020): Blockchain in action
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.209023Z
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 2aa8b8aa-99fa-4f20-80ef-88a7af8df031 · outbound
This paper cites Reiter (2001): Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.
Logical foundations of Smart Contracts Reiter (2001): Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
Reference 24
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.275501Z
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 ab526dfd-b900-4459-bc6e-9f7497439cbe · outbound
This paper cites Reiter (1991): The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression.
Logical foundations of Smart Contracts Reiter (1991): The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.258712Z
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 79e4f80e-ad28-4b00-8067-e995ce4da012 · outbound
This paper cites Reiter (1993): Proving properties of states in the situation calculus.
Logical foundations of Smart Contracts Reiter (1993): Proving properties of states in the situation calculus
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.242091Z
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 ed723f8f-ebfe-44a2-b49d-10905ae38f14 · outbound
This paper cites Scherl & H.J.
Logical foundations of Smart Contracts Scherl & H.J
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.225057Z
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 a654422b-f3f8-4b63-bc59-f7177ee807f3 · outbound
This paper cites Sharifi, A.
Logical foundations of Smart Contracts Sharifi, A
Reference 28
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:21.950920Z
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 db9c6615-8004-424c-aad3-79793f3c851e · outbound
This paper cites Sharifi (2020): Smart Contracts : from Formal Specification to Blockchain Code.
Logical foundations of Smart Contracts Sharifi (2020): Smart Contracts : from Formal Specification to Blockchain Code
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.194446Z
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 1bdc52ea-0672-4d27-b915-b0dfe27753ef · outbound
This paper cites Surden (2012): Computable contracts.
Logical foundations of Smart Contracts Surden (2012): Computable contracts
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T22:15:23.179882Z
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 9b736abf-2f6e-4d9f-8d12-a57ecf9d2cb2 · outbound
This paper cites A Survey of Smart Contract Formal Specification and Verification.
Logical foundations of Smart Contracts A Survey of Smart Contract Formal Specification and Verification
Reference 31
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T22:15:21.780679Z
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 5ec8fcea-52a8-4d74-9617-d040f01de9b1 · outbound
This paper cites an unresolved cited work.
Logical foundations of Smart Contracts Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-07T22:15:21.210186Z
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 8d7ba6fa-3e90-451e-93cb-6c609d29f137 · outbound
This paper cites an unresolved cited work.
Logical foundations of Smart Contracts Unresolved cited work
Reference 33
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T22:15:21.156550Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75064c87-3c45-419a-bc1c-495aea179256 · outbound
This paper cites Zheng, S.
Reference 34
- Resolution
- verified exact
- arxiv_id_nonexistent, observed 2026-08-07T22:15:21.758332Z
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.