Paper Citation Record · LEDGER

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property

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

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

pith.paper-citation-record.v1
2506.01421 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:52:49.702564Z

measured 20 of 20 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

20 of 20 outbound references displayed

verified exact0
verified fuzzy3
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2158da35-582d-422e-96c9-a0c21788573f · outbound

This paper cites write newline.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T11:52:47.968559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1630d5b0-5dd2-427b-a908-2dccc16645d5 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:52.944092Z

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 6e7d0995-ecb9-48a7-a25e-3252b01e2cdf · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:52.780148Z

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 86eaeab1-af82-44dc-880d-e2bc25eb3526 · outbound

This paper cites o rger, E.; Gr \.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property o rger, E.; Gr \

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:52:52.582815Z

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 1576a573-ded8-4633-918e-d3fcee238edb · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:52.427743Z

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 3a9b6ed7-2bf1-4beb-8fbd-25e2a69c8e2d · outbound

This paper cites M., and Shehtman, V.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property M., and Shehtman, V

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:52:52.416497Z

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 e5cd3bb9-ed2d-46a1-a65a-7a4485c3f754 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:52.280189Z

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 7e1bcc2c-130c-4295-a041-98488b079355 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:52.133166Z

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 fd1e123a-41ba-44c0-8bbb-465a385f95ca · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:51.962764Z

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 97f75181-3375-4c13-bf8b-7d51b515f992 · outbound

This paper cites E., and Cresswell, M.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property E., and Cresswell, M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:52:51.886300Z

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 22b15a0e-8d67-42d6-b4a4-d2f6a1caf8da · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:51.871212Z

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 5ca02c27-5bdd-4011-b4a6-a76959231f34 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:51.629748Z

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 5446a3e9-29c9-4fb3-976a-6eb1854744b2 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:51.325103Z

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 d8cf34ba-9a69-4cd9-b8c3-8ffc082b7aa8 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:51.156008Z

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 3e591f3e-d2b8-44f2-880f-d6a92d543630 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:51.066399Z

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 7e5689d2-c8d4-4cfb-8ac7-dbd64dfabf80 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:50.813289Z

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 b330e1b6-21ae-49d6-aef2-5a6510c27e49 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:50.564381Z

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 5cc55f8b-70c6-45a9-a150-25be7280953c · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:50.370717Z

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 b34b5e40-e807-4675-8025-b786d2363d4d · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:50.158416Z

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 ae13e06a-6e2c-4f9b-8f8e-c818e034dd76 · outbound

This paper cites an unresolved cited work.

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:52:49.908797Z

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.