Paper Citation Record · LEDGER

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System

As of 22 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2601.04080.

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

pith.paper-citation-record.v1
2601.04080 v4

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T12:19:46.217102Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

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

16 of 16 outbound references displayed

verified exact0
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5ddb6093-dc05-4d57-b5e3-927d4a8d0647 · outbound

This paper cites A Study in the Philosophy of Sci- ence.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System A Study in the Philosophy of Sci- ence

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.158365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94f688d8-7eae-4d1b-af88-e70c72d9258a · outbound

This paper cites (eds.): The- ory and Applications of Craig Interpolation.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System (eds.): The- ory and Applications of Craig Interpolation

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.162769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1257323d-22b8-4c7b-a1b6-8a309cb1d818 · outbound

This paper cites Springer, 2nd edn.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Springer, 2nd edn

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.166923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c58e5c42-d207-4889-8f1b-d116b7a14761 · outbound

This paper cites Oxford Univ.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Oxford Univ

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-03T12:19:46.170979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ad0654e-f77f-4202-94a9-02c71d8eab74 · outbound

This paper cites JAIR42, 917–943 (2011).

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System JAIR42, 917–943 (2011)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.174452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88704703-cae1-40a6-aaab-a06810893574 · outbound

This paper cites In: Benzmüller, C., Heule, M., Schmidt, R.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System In: Benzmüller, C., Heule, M., Schmidt, R

Reference 6

Resolution: malformed identifier; no resolver link, observed 2026-08-03T12:19:46.179292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50110ffb-b034-4ebd-a6bc-034ab3634650 · outbound

This paper cites ACM Trans.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System ACM Trans

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.183688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bd77da9-a712-4589-82b9-59846c68215c · outbound

This paper cites Sugaku12, 235– 237 (1960).

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Sugaku12, 235– 237 (1960)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.187537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d430f8ec-ac28-4e46-b9f6-dbd72c3f185e · outbound

This paper cites Algebra and Logic16(6), 427–455 (1977).

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Algebra and Logic16(6), 427–455 (1977)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.191205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb377e5b-3307-486e-a597-29eb2b56ee1f · outbound

This paper cites Studia Log- ica38(4), 419–428 (1979).https://doi.org/10.1007/BF00370479.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Studia Log- ica38(4), 419–428 (1979).https://doi.org/10.1007/BF00370479

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.194539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 298159a8-c519-4841-a519-7926f259cb25 · outbound

This paper cites an unresolved cited work.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.197836Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78b04882-005b-44b5-b500-19e5a93e2bef · outbound

This paper cites In: Gebser, M., Inclezan, D., Ricca, F., Carro, M., Truszczynski, M.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System In: Gebser, M., Inclezan, D., Ricca, F., Carro, M., Truszczynski, M

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.202114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4957ed94-bfc3-4241-a9c6-8ea1e25ddb15 · outbound

This paper cites an unresolved cited work.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.205540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bc06c82-f875-41d7-9bb4-56df3fb5a32f · outbound

This paper cites Springer (1968), also republished with correc- tions by Dover publications, 1995.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Springer (1968), also republished with correc- tions by Dover publications, 1995

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.209077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73bd6693-8470-4d28-8924-36e4db4eae1b · outbound

This paper cites North-Holland, second edn.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System North-Holland, second edn

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.213236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e686314-bba8-46b4-935b-303b7b02c2cb · outbound

This paper cites Cambridge University Press, second edn.

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System Cambridge University Press, second edn

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T12:19:46.217102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.