Paper Citation Record · LEDGER

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations

As of 19 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2607.20221.

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

pith.paper-citation-record.v1
2607.20221 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T10:38:50.945210Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

18 of 18 outbound references displayed

verified exact0
verified fuzzy0
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 767db436-448e-4d8a-ba8f-1799bed63bae · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.119652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 939e165c-1aef-40f9-a39f-51017925c1f0 · outbound

This paper cites Birkhoff.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Birkhoff

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.236760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf6ece78-393c-4ac9-8aff-741d5219bd5f · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.379282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fdaf853-5759-408e-889f-d1aabb3caba7 · outbound

This paper cites Fischer Servi.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Fischer Servi

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.482927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfb35905-1eb4-48c3-8ea0-bce24ff5ba7f · outbound

This paper cites o del. Eine Interpretation des intuitionistischen Aussagenkalk\.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations o del. Eine Interpretation des intuitionistischen Aussagenkalk\

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.594747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25931bd2-ae26-467d-876b-52533ce0eea7 · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.758782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 184e42b1-f6c3-4c82-8360-98a38d0b02de · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:49.869730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5799d255-6602-416b-9fd4-38e3d3ae6049 · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.000092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f018f951-b53e-4da4-b8e2-d003d15db0b6 · outbound

This paper cites Modal logic, fundamentally.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Modal logic, fundamentally

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.189878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 283ad4a7-0f95-4646-acea-0689cae523ce · outbound

This paper cites Preconditionals.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Preconditionals

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.283083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 039c1cd7-076f-48c9-afea-17cfc9bc090e · outbound

This paper cites Fundamental Logic Through the Lens of Modality.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Fundamental Logic Through the Lens of Modality

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.361128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd547686-c8dd-47ea-a65d-7feb62d29dc3 · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.435601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c30210c-4866-4502-88c8-f980b70ddc0f · outbound

This paper cites Mandelkern.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Mandelkern

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.512605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e854665a-245d-41f2-bbe0-24346d82e3cf · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.594825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2b2c77a-4ad6-42d3-a422-b968e5da729b · outbound

This paper cites Mittelstaedt.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Mittelstaedt

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.724829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42742d58-2153-4c9d-b9f9-18fa28932189 · outbound

This paper cites Plo s c ica.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Plo s c ica

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.817149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2c5e312-81ff-4957-95a7-728e01a6f4b3 · outbound

This paper cites an unresolved cited work.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.889132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 629165e1-8581-410a-a238-a10ebf75af59 · outbound

This paper cites Urquhart.

Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations Urquhart

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T10:38:50.945210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.