Paper Citation Record · LEDGER

Fusions of One-Variable First-Order Modal Logics

As of 14 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2603.04512.

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

pith.paper-citation-record.v1
2603.04512 v3

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T19:01:09.249905Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

35 of 35 outbound references displayed

verified exact12
verified fuzzy0
unresolved22
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0b577bd7-32ec-4fd4-a149-8aef41a139d1 · outbound

This paper cites Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions.

Fusions of One-Variable First-Order Modal Logics Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-08-02T19:03:28.033891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 23d4d4d3-ac65-4836-b627-efcca8d08784 · outbound

This paper cites Comput.204(10), pp.

Fusions of One-Variable First-Order Modal Logics Comput.204(10), pp

Reference 2

Resolution: verified exact; doi, observed 2026-08-02T19:03:28.016895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c2e9052f-6595-4cf3-811a-e2b571cf513e · outbound

This paper cites Cambridge University Press.

Fusions of One-Variable First-Order Modal Logics Cambridge University Press

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.158876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 907f2a6d-a2fa-4d02-9943-7102939b6021 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-02T19:03:28.005463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 83724f44-4c47-4264-9564-c2ce8a58711f · outbound

This paper cites To appear.

Fusions of One-Variable First-Order Modal Logics To appear

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.165351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 680fbb6a-e94d-4862-a211-b2b8ac8ee659 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.959887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 8f7783fb-0647-4c88-9e63-3974453b4172 · outbound

This paper cites In Jon Barwise, editor:Handbook of Mathematical Logic, North-Holland, Amsterdam, pp.

Fusions of One-Variable First-Order Modal Logics In Jon Barwise, editor:Handbook of Mathematical Logic, North-Holland, Amsterdam, pp

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.171753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1b21716-ee2f-429e-b1b6-44aa87d96b1a · outbound

This paper cites 147–156, doi:10.1023/A:1021352309671.

Fusions of One-Variable First-Order Modal Logics 147–156, doi:10.1023/A:1021352309671

Reference 8

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.806527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 59ee4dcb-3a77-4333-b96e-d3d802f50676 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.177344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a519c20-302c-4388-b851-8ea117a44b4d · outbound

This paper cites Gabbay (2003):Fibred Semantics and the Weaving of Logics.

Fusions of One-Variable First-Order Modal Logics Gabbay (2003):Fibred Semantics and the Weaving of Logics

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.180146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d872ae3-d267-440f-8f34-31281a41ec05 · outbound

This paper cites Gabbay & Valentin B.

Fusions of One-Variable First-Order Modal Logics Gabbay & Valentin B

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.182859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e567439-cbf3-4e38-8c2f-bc38e62dfa8c · outbound

This paper cites Pure Appl.

Fusions of One-Variable First-Order Modal Logics Pure Appl

Reference 12

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.660149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 0e6c836a-2930-4086-900d-90bb6eb4f9d7 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.188553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d76e170d-d126-4dcb-9ad7-fafbbfd9503b · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-02T19:01:09.191283Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 217e8e67-abb6-4f06-8111-1192686d23f8 · outbound

This paper cites Center for the Study of Language and Information.

Fusions of One-Variable First-Order Modal Logics Center for the Study of Language and Information

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.194067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f09bedb4-2123-4aa0-a819-1f28b869cac3 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.196854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f92176fb-bab4-417f-8324-51bab43f8d13 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.199628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3c804b7-2c16-4e43-9d93-a418f1c09459 · outbound

This paper cites In: Proc.

Fusions of One-Variable First-Order Modal Logics In: Proc

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.202355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c3581fd-f079-4b86-a3af-5dacfd4bf214 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.534028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3906179e-7fa0-4656-bac3-5d733ac990c1 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.366771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6d689169-f27e-4a8d-9260-8da802ded2ba · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.211441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71ab2398-6459-47c5-8690-e02368997e76 · outbound

This paper cites In Patrick Blackburn, Johan van Benthem & Frank Wolter, editors:Handbook of Modal Logic, Elsevier, pp.

Fusions of One-Variable First-Order Modal Logics In Patrick Blackburn, Johan van Benthem & Frank Wolter, editors:Handbook of Modal Logic, Elsevier, pp

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.214258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cda07003-c3fa-4b7c-b068-907a43a335a7 · outbound

This paper cites Methods Comput.

Fusions of One-Variable First-Order Modal Logics Methods Comput

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.217042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a92b021-cf1d-490c-be7e-3e138c7279ea · outbound

This paper cites Gabbay (2003):Many-Dimensional Modal Logics: Theory and Applications.Studies in Logic and the Foundations of Mathematics148, North Holland, Amsterdam.

Fusions of One-Variable First-Order Modal Logics Gabbay (2003):Many-Dimensional Modal Logics: Theory and Applications.Studies in Logic and the Foundations of Mathematics148, North Holland, Amsterdam

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.219999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38b4d809-efcc-40b6-911e-97fdba4d4498 · outbound

This paper cites Minsky (1967):Finite and Infinite Machines.

Fusions of One-Variable First-Order Modal Logics Minsky (1967):Finite and Infinite Machines

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.222685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 221fd3c7-27e1-4af4-aaec-94976f527da6 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.203963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d2b85c76-543b-4763-a5c5-eea7f97b59dc · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-08-02T19:03:27.046710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6817339c-f0b9-4b5b-918a-a339b51ec10f · outbound

This paper cites In: Proc.

Fusions of One-Variable First-Order Modal Logics In: Proc

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.230757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e632c063-53e9-4d85-9e3f-47029af5c6ed · outbound

This paper cites Mathematics108(2), pp.

Fusions of One-Variable First-Order Modal Logics Mathematics108(2), pp

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.233791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa43cd8c-ebbf-437b-976c-8837c988ccf0 · outbound

This paper cites Advances in Modal Logic 2024, Short Papers, pp.

Fusions of One-Variable First-Order Modal Logics Advances in Modal Logic 2024, Short Papers, pp

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.236740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 991c1606-f6f6-4342-aa07-a9f20bc148db · outbound

This paper cites Thomason (1980):Independent Propositional Modal Logics.Studia Logica39, pp.

Fusions of One-Variable First-Order Modal Logics Thomason (1980):Independent Propositional Modal Logics.Studia Logica39, pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-02T19:03:26.941047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation cbe51755-0de6-4b4a-a4a7-8503b53da84c · outbound

This paper cites Wajsberg (1933):Ein erweiterter Klassenkalkül.Monatshefte für Mathematik und Physik40, pp.

Fusions of One-Variable First-Order Modal Logics Wajsberg (1933):Ein erweiterter Klassenkalkül.Monatshefte für Mathematik und Physik40, pp

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.242069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09f8b021-2d39-44ba-9703-0b4068b2e4ff · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.244812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1ab0a8b-61f8-4eb9-a0b2-769d429a8439 · outbound

This paper cites In Ernest Sosa, editor:The Philosophy of Nicholas Rescher, D.

Fusions of One-Variable First-Order Modal Logics In Ernest Sosa, editor:The Philosophy of Nicholas Rescher, D

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T19:01:09.247400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 779c3c02-4a81-47ed-a1e7-8054651df754 · outbound

This paper cites an unresolved cited work.

Fusions of One-Variable First-Order Modal Logics Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-02T19:03:26.770267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.