Paper Citation Record · LEDGER

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms

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

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

pith.paper-citation-record.v1
1908.03501 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T14:31:36.534148Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

24 of 24 outbound references displayed

verified exact0
verified fuzzy7
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2a676537-218e-499d-927a-ca7bd017cf32 · outbound

This paper cites Baader and U.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Baader and U

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.919783Z

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 9de809be-4f13-4866-aedb-489796f0a5be · outbound

This paper cites Blackburn, J.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Blackburn, J

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.906216Z

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 0f699fd1-d290-45c7-88d4-fbf83cb9e9bb · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.892386Z

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 bfaae013-1533-421c-9481-b3266f55e199 · outbound

This paper cites Dabrowski, L.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Dabrowski, L

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.879659Z

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 60536b74-174f-46ce-a3ad-ccfdc9490cd4 · outbound

This paper cites D’Agostino, D.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms D’Agostino, D

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.858036Z

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 6aae8d4c-8ffa-4ab0-a9c0-4e8328733487 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.839726Z

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 79683824-fb0f-4e93-9fd7-4674fe4ed59b · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.823766Z

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 5f2ea05b-2bb5-4c5d-95e6-ab2600b9f511 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.809112Z

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 14f3d86e-e3c0-4653-99fe-5ffeba9a0c30 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.794501Z

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 5cce75f7-0784-485c-a6b9-634df0b0cc6a · outbound

This paper cites Governatori.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Governatori

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.778414Z

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 e9ba2aa7-79eb-4890-9600-776dbe4ebe2a · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.757493Z

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 29df9761-a43c-4501-8a31-cfcc301e494e · outbound

This paper cites Heinemann.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Heinemann

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.478086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89c88866-a05c-454a-b0a2-0c5b7e446f45 · outbound

This paper cites Heinemann.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Heinemann

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.482846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb25924e-7198-45b4-96c0-1e0260390a43 · outbound

This paper cites Hertling and G.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Hertling and G

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.721731Z

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 46b2bf0c-6ab3-4186-b07b-e6f0d153485d · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.705524Z

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 eb968e04-3f40-42a7-9a69-da75fbe77991 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.500541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f479864-ded5-48e1-9f30-6a9508a58881 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.504578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 265528bf-873f-4c70-97b8-0adc530bd936 · outbound

This paper cites Kurucz, F.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Kurucz, F

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.508846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b19229c3-3c64-4760-b3d2-1f44b3f8ebde · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.658758Z

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 6f8eb3d2-8750-4ec0-a5b2-32848d70c263 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.644908Z

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 6bcacd47-f5bc-40b9-ad72-4a927a8cd456 · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:31:36.631307Z

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 459ea6e4-4881-49ce-83ab-1018132e9baa · outbound

This paper cites an unresolved cited work.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.526050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a77a07f-822b-4932-9c0a-bb48ad229863 · outbound

This paper cites Parikh, L.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Parikh, L

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T14:31:36.530086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0d9ab32-75e4-44d7-a2d9-d2127b77be06 · outbound

This paper cites Schröder.Ordered sets.

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms Schröder.Ordered sets

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:31:36.585882Z

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.

Pith citing papers

No inbound Pith citation observations are available.