Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:16:48.639993Z
Paper Citation Record · LEDGER
Toward Structured Proofs for Dynamic Logics
As of 17 August 2026, this Paper Citation Record lists 82 of 82 outbound references and 0 inbound Pith citation observations for arXiv:1908.05535.
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-16T06:30:59.297886+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
82 of 82 outbound references displayed
- verified exact22
- verified fuzzy1
- unresolved49
- parse uncertain0
- malformed identifier8
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 03229d5d-db31-4b79-8300-f196a4d4d231 · outbound
This paper cites Schmitt, and Mattias Ulbrich.
Toward Structured Proofs for Dynamic Logics Schmitt, and Mattias Ulbrich
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:47.950758Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d566513-fb66-47de-8b98-9afa1c3157a7 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:47.957746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17cb542e-400c-4f19-b1a3-27c120d68703 · outbound
This paper cites Apt, Jan A.
Toward Structured Proofs for Dynamic Logics Apt, Jan A
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.561136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8f627b9a-70b1-45e7-9153-0fc435c421a1 · outbound
This paper cites Arnon, George E.
Toward Structured Proofs for Dynamic Logics Arnon, George E
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:47.971947Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6b97fe1-16f0-454d-8993-97cede05e7fc · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:47.985022Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ed8758c-8a5d-44fb-8154-7d25e815da8b · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.501345Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c0f7ded1-459f-4a07-9673-429cdcd41a2d · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:51.170759Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 25354055-29c2-4ef4-b9d0-967c88efd7db · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:51.150531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9f56b041-ac11-49a4-a131-1537b3a7e9d0 · outbound
This paper cites Henzinger, and Arjun Radhakrishna.
Toward Structured Proofs for Dynamic Logics Henzinger, and Arjun Radhakrishna
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.036299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9eca6acf-9380-4c9f-87de-1c575c708bb5 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.046849Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6340d2a-d4a4-40a0-b37b-b131ec140e86 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.461621Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d431fe39-80a6-49ec-9b14-289a31ca891b · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.066669Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81dc7e1a-9f65-4a24-b313-6932b0ada32c · outbound
This paper cites Collins and Hoon Hong.
Toward Structured Proofs for Dynamic Logics Collins and Hoon Hong
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.076042Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63920ae9-e379-45bd-b475-eeab1756dc72 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.408594Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 30a181e6-cbc8-4a11-a7c0-eb3fd12ff922 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.097519Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0440e3a4-679e-46c8-bcbe-6cbf62ec5e75 · outbound
This paper cites Davenport and Joos Heintz.
Toward Structured Proofs for Dynamic Logics Davenport and Joos Heintz
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.107219Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29ac5d55-429e-46cb-9192-5dcb4d983ae2 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:51.132182Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 035e7538-3d23-443d-a910-950aa1f26cc2 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 18
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T13:16:50.543295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c782d9a5-7d5b-4151-ae6f-4c09f10aa7ba · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.127817Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 585a8786-c041-4a0c-af76-ba9cfd082a71 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 20
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T13:16:51.112053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 222e02c9-9574-42a9-91bb-cfe92a225a51 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.140627Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eb61a405-15f6-4872-81bb-549635f4cdbe · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:51.094269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 35367993-d605-49f7-b953-46c1ba6f39cf · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.152897Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3af46b01-a7c4-407f-b425-058a19a01cfc · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.158810Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation acc0eca4-1fd1-4a5f-8ef5-6efa4664c91f · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:51.075140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 31c9e03c-4384-402b-ab5c-45adfe3b7788 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.306383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4bbb033b-4778-4ef2-bb76-8740179a4112 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 27
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T13:16:51.053904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 85698de2-37f8-49c1-b9b0-c9f4f4fa9427 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:51.034818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3fefd9d3-6330-4bd0-88d8-c20b45298cb8 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.280273Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fcef2f9a-a2b0-41b7-a4e3-0cb1e8f1c1ba · outbound
This paper cites Henzinger.
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.205461Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69751828-6303-4a69-a167-c7b6b20b58ef · outbound
This paper cites Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Toward Structured Proofs for Dynamic Logics Henzinger, Pei-Hsin Ho, and Howard Wong-Toi
Reference 31
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.257445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b2362d2f-bbe1-45ef-80b1-346659a7e56d · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.220018Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5532028d-a0c1-4b37-9a44-abe126cb15bd · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 33
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T13:16:50.187982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 507aa674-6443-40cd-89d2-9d17253cb4e8 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.234472Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2dd31a75-c247-44d0-8e28-4da8503a1580 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.233502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5dc94b8a-1e4a-4afb-8c05-ddeaf97878a9 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.210860Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8748c11d-6b25-42f3-8598-bc7eadf9e59f · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.276967Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef4bcf3d-33dd-45c9-97e6-b0e95f455524 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 39
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T13:16:51.010416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 85c8dc09-620e-4905-86cb-bc6e9e6276cd · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.986775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 27504436-9f4c-4fa0-aae1-ec866d399b68 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.299318Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e44aeef1-5283-4b64-a717-e17b0aa7357c · outbound
This paper cites Leavens, Albert L.
Toward Structured Proofs for Dynamic Logics Leavens, Albert L
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.307524Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c1de967-5de5-4c6f-98aa-460fdb979627 · outbound
This paper cites Rustan M.
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.315967Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 93cab6f8-1ff0-4e7e-8baf-16ce9db033bc · outbound
This paper cites Rustan M.
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:16:50.965278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation eddf0960-5e10-424b-bcea-5b48b666dba2 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.941522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 852d68a9-8072-454a-aebd-26ced8818df6 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.920984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9d2156a5-a66e-40c6-93de-7196890ace74 · outbound
This paper cites Loos, André Platzer, and Ligia Nistor.
Toward Structured Proofs for Dynamic Logics Loos, André Platzer, and Ligia Nistor
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.343433Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f40061e4-2978-4773-a77a-892e0bad9f3d · outbound
This paper cites Loos, David W.
Toward Structured Proofs for Dynamic Logics Loos, David W
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.350564Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 87e2fb38-06da-4f3d-8539-d7fea2cb1f75 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.902474Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 540edc7c-8eee-4647-a891-b8a86ca80a49 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 50
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.103339Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d54816db-9fde-47d5-9cc4-834478d28a6b · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.881383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 34cc9cf4-36f5-41bc-a873-ecbc4263d0b4 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.076738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0c27ea8a-406d-48cf-9359-73413f338471 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.050361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a116b3a2-5478-4b15-aa84-736af20dee78 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 54
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T13:16:50.860535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 940815eb-fc4c-4aea-ad0f-f521fd53d7a9 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.838200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation be1119a7-b15e-4137-88f5-d47d9b3a2f30 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.405844Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b57b9d07-2c38-4bf2-a9d8-5892c7ebf988 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.814887Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 506667dd-8861-41fd-8e67-886f9d439e3f · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 58
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:49.008814Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 98ed2b33-8f7c-4335-91ef-0bc434fa9c26 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 59
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-14T13:16:48.426850Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4eb9145d-85db-4a01-8311-04919ef4b7dd · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.432443Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b4dcefe0-24a9-4abf-a703-d60d1b36b64d · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.438335Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 301c10fc-c508-488f-8c85-3d81e91da4df · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 62
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.925877Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2630d50c-e2e9-42ab-ab05-4b95eb999bbd · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 63
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.901747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 67d58271-f005-449d-a15a-b956c0381083 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.793584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 35d750ba-d1f8-4c93-9f18-5a5c2988496f · outbound
This paper cites A Uniform Substitution Calculus for Differential Dynamic Logic.
Toward Structured Proofs for Dynamic Logics A Uniform Substitution Calculus for Differential Dynamic Logic
Reference 65
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T13:16:49.847600Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation da10da2c-34ce-4ad5-a181-79a89513bc21 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.486149Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 892ee9ca-920d-4722-9eda-216e5dfd6dd2 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.766861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fa8f7fdc-f7c7-47c2-93b7-bdedc1e07074 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 68
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.861809Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 512d25ab-8ebc-449c-bf87-e0b55459280f · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 69
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T13:16:50.740240Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ead79fa8-b52c-4637-bee9-b3f80faf90ac · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 70
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T13:16:50.716564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e4e97c6f-38b6-4c5a-bfd6-2b6cde1036f7 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 71
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.831350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3d3b7126-fa54-45d5-abe5-12f0213f3a3e · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.540837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4069dc90-364a-4b43-b3f2-8e4e919dfb4c · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.549443Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74529d24-32fb-4bd6-a18c-632a4cbda73c · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 74
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.806789Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a5f4acf5-0e2c-45b9-b83f-a9ea1c5dc3b7 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.697722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1c71ea61-ce5e-4562-8fba-a2c2f53c055e · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 76
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.680143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7429bd24-bf4c-419e-8401-edf0bf57164c · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.661332Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2a5dd4dd-563b-49ce-8125-22c52e1dc468 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:16:48.594481Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2ac99e28-0b09-4ec9-9d2a-9cd67a0923c8 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 79
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.763258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation faf7df42-04c3-444b-94f2-60ac9d693692 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 80
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:16:50.644465Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 635fa756-004c-41d0-b6f2-a8140ae5e2b5 · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 81
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.735890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 35a3cfdd-455a-4c85-bd0c-325b0b9cb8ff · outbound
This paper cites an unresolved cited work.
Toward Structured Proofs for Dynamic Logics Unresolved cited work
Reference 82
- Resolution
- verified exact
- doi, observed 2026-08-14T13:16:48.702806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1ac31c1b-4dc5-41f7-9bb9-746fb1759200 · outbound
This paper cites Krishnaswami, Aleksandar Nanevski, and Viktor Vafeiadis.
Toward Structured Proofs for Dynamic Logics Krishnaswami, Aleksandar Nanevski, and Viktor Vafeiadis
Reference 83
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-14T13:16:48.639993Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.