Paper Citation Record · LEDGER

Vector spaces as Kripke frames

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

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

pith.paper-citation-record.v1
1908.05528 v4

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:22:32.309806Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

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

32 of 32 outbound references displayed

verified exact4
verified fuzzy18
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 54b49d58-a164-47f1-8ade-f27421e182df · outbound

This paper cites Baroni, R.

Vector spaces as Kripke frames Baroni, R

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:33.007245Z

Source-reported events for the cited work

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

Observation a38c57d1-dece-43ea-aed7-7f46eba83f85 · outbound

This paper cites Buszkowski.

Vector spaces as Kripke frames Buszkowski

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.988772Z

Source-reported events for the cited work

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

Observation 19fd5e15-c41d-44ee-8d37-2a4c815b6eb1 · outbound

This paper cites Buszkowski.

Vector spaces as Kripke frames Buszkowski

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.971604Z

Source-reported events for the cited work

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

Observation 0fb42c26-3546-441d-8832-c739fd9c7088 · outbound

This paper cites Non normal logics: semantic analysis and proof theory.

Vector spaces as Kripke frames Non normal logics: semantic analysis and proof theory

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:22:32.461504Z

Source-reported events for the cited work

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

Observation 3225f580-99b6-46e2-b6eb-fcebaed49695 · outbound

This paper cites Coecke, E.

Vector spaces as Kripke frames Coecke, E

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.951618Z

Source-reported events for the cited work

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

Observation 35796187-d01d-4989-be95-0e3bcac87fc9 · outbound

This paper cites Mathematical Foundations for a Compositional Distributional Model of Meaning.

Vector spaces as Kripke frames Mathematical Foundations for a Compositional Distributional Model of Meaning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T13:22:32.153675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a4dc97b-d83b-4656-be63-1d1ec3219ac5 · outbound

This paper cites Conradie,S.

Vector spaces as Kripke frames Conradie,S

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.932351Z

Source-reported events for the cited work

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

Observation 7d55459d-0eb4-43ba-a18a-eaaf8da2c8a1 · outbound

This paper cites Conradie and A.

Vector spaces as Kripke frames Conradie and A

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.915243Z

Source-reported events for the cited work

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

Observation 0a6fa240-8fe5-4518-bccd-790eb911a1af · outbound

This paper cites Goldblatt-Thomason for LE-logics.

Vector spaces as Kripke frames Goldblatt-Thomason for LE-logics

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:22:32.412598Z

Source-reported events for the cited work

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

Observation 7fd2290d-092e-4540-bb0b-17a6cc94cb49 · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.894566Z

Source-reported events for the cited work

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

Observation e162bca7-438f-4985-a021-142771f083dd · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.876468Z

Source-reported events for the cited work

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

Observation f03cca9b-11ad-4b2e-bd7c-61be6f6a0695 · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.858802Z

Source-reported events for the cited work

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

Observation af4bd8d9-7486-4cc0-8adb-c0ae0d270a74 · outbound

This paper cites Frittella, G.

Vector spaces as Kripke frames Frittella, G

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.839737Z

Source-reported events for the cited work

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

Observation cc34a051-6d7e-46f5-a64e-d009e7986e91 · outbound

This paper cites Frittella, G.

Vector spaces as Kripke frames Frittella, G

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.820999Z

Source-reported events for the cited work

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

Observation b6f58898-15e5-44ad-890a-441a635a87cf · outbound

This paper cites Galatos, P.

Vector spaces as Kripke frames Galatos, P

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.792324Z

Source-reported events for the cited work

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

Observation fbb6819f-52a3-4025-98c4-70645b7f6fb9 · outbound

This paper cites Algebraic proof theory for LE-logics.

Vector spaces as Kripke frames Algebraic proof theory for LE-logics

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:22:32.385741Z

Source-reported events for the cited work

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

Observation 21fe7354-dde9-4fe3-8b3b-fcb7826c6130 · outbound

This paper cites Greco, F.

Vector spaces as Kripke frames Greco, F

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.774202Z

Source-reported events for the cited work

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

Observation c57d98b5-4fd1-42c9-9fb3-6b22edfed7fe · outbound

This paper cites Greco, F.

Vector spaces as Kripke frames Greco, F

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.751924Z

Source-reported events for the cited work

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

Observation 2b1db12e-dd7b-4139-b33c-23d3162865a3 · outbound

This paper cites Greco, M.

Vector spaces as Kripke frames Greco, M

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.733241Z

Source-reported events for the cited work

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

Observation 352f7023-a13c-4132-84a5-1e8042856435 · outbound

This paper cites Greco and A.

Vector spaces as Kripke frames Greco and A

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.707380Z

Source-reported events for the cited work

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

Observation 0ce36353-1412-4b39-a11d-8ff60198158b · outbound

This paper cites Linear Logic Properly Displayed.

Vector spaces as Kripke frames Linear Logic Properly Displayed

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:22:32.360839Z

Source-reported events for the cited work

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

Observation d53dc33e-3cb2-49f6-8f83-d0aadc883f9c · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.688279Z

Source-reported events for the cited work

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

Observation 4ff6fbe6-4626-424e-a37b-62b1e9fc63be · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.664782Z

Source-reported events for the cited work

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

Observation 4db68d49-8d5c-4178-bd8f-b28fa6a750fe · outbound

This paper cites Kubota and R.

Vector spaces as Kripke frames Kubota and R

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.644995Z

Source-reported events for the cited work

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

Observation 76e54a17-3fea-4dc2-bf3c-54cc11728eea · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.623257Z

Source-reported events for the cited work

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

Observation 67a3a087-05a6-4e9a-81aa-b3dea3e39df5 · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.602447Z

Source-reported events for the cited work

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

Observation badc3563-be63-4134-9f74-711137cdfb29 · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.582778Z

Source-reported events for the cited work

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

Observation e57a700b-f184-42f0-aa90-1dddc3c29310 · outbound

This paper cites Moortgat.

Vector spaces as Kripke frames Moortgat

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.564374Z

Source-reported events for the cited work

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

Observation cec429dc-d776-4cc3-9043-3c7fcaac275b · outbound

This paper cites Moortgat and G.

Vector spaces as Kripke frames Moortgat and G

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.538688Z

Source-reported events for the cited work

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

Observation 439b19c9-a1e3-4828-a531-44c43d77ecc8 · outbound

This paper cites Morrill, O.

Vector spaces as Kripke frames Morrill, O

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.518710Z

Source-reported events for the cited work

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

Observation f861bd35-cc5c-475f-9d65-2542f6d49429 · outbound

This paper cites Sadrzadeh, S.

Vector spaces as Kripke frames Sadrzadeh, S

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:22:32.500456Z

Source-reported events for the cited work

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

Observation 7d74b353-d3f8-4a88-b38a-cb44be7fdd51 · outbound

This paper cites an unresolved cited work.

Vector spaces as Kripke frames Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:22:32.482321Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.