Paper Citation Record · LEDGER

Inferentialist Public Announcement Logic: Base-extension Semantics

As of 12 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 5 inbound Pith citation observations for arXiv:2411.15775.

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

pith.paper-citation-record.v1
2411.15775 v3

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T14:06:41.301299Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-30T23:17:58.766812Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-01T13:25:45.379862Z

Reference resolution

19 of 19 outbound references displayed

verified exact0
verified fuzzy16
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9a2e6abd-7177-45af-901f-0732ed7bc5df · outbound

This paper cites Moss, and S/suppress lawomir Solecki.

Inferentialist Public Announcement Logic: Base-extension Semantics Moss, and S/suppress lawomir Solecki

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.544569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 91cd3d68-9836-4801-81c5-240886ab1011 · outbound

This paper cites Making It Explicit: Reasoning, Representing, and Discursive Commitment.

Inferentialist Public Announcement Logic: Base-extension Semantics Making It Explicit: Reasoning, Representing, and Discursive Commitment

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.532407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9cae1e5b-b4a0-4df6-8e8f-20845b42ce74 · outbound

This paper cites Articulating reasons: An introduction to inferentialism.

Inferentialist Public Announcement Logic: Base-extension Semantics Articulating reasons: An introduction to inferentialism

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.519317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eb17371c-ea81-484e-82b4-aed0559c96d7 · outbound

This paper cites Dynamic Epistemic Logic.

Inferentialist Public Announcement Logic: Base-extension Semantics Dynamic Epistemic Logic

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.507150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b11c3f3e-bd67-4a1f-aa97-97c733e59e4b · outbound

This paper cites The logical basis of metaphysics.

Inferentialist Public Announcement Logic: Base-extension Semantics The logical basis of metaphysics

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.496046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ecfc3588-72ac-45e2-b11a-60fac61fad89 · outbound

This paper cites an unresolved cited work.

Inferentialist Public Announcement Logic: Base-extension Semantics Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:06:41.485167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b6f16144-bb64-4725-b857-072bfe38d84e · outbound

This paper cites an unresolved cited work.

Inferentialist Public Announcement Logic: Base-extension Semantics Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:06:41.474732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b20f35f6-682b-4a77-85f3-c6c77cf6fc2f · outbound

This paper cites On an inferential semantics for classical logic.

Inferentialist Public Announcement Logic: Base-extension Semantics On an inferential semantics for classical logic

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.463582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 86dd40a0-9d4e-4ae7-8e8b-e73c72a2a36e · outbound

This paper cites an unresolved cited work.

Inferentialist Public Announcement Logic: Base-extension Semantics Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:06:41.451520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c042b057-8682-468f-b29e-0efa0431e1bd · outbound

This paper cites Completeness in Proof-Theoretic Semantics , pages 231–251.

Inferentialist Public Announcement Logic: Base-extension Semantics Completeness in Proof-Theoretic Semantics , pages 231–251

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.439767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eef879a1-2685-4cfe-97bb-16993eb1e7d6 · outbound

This paper cites The definitional view of atomic systems in proof-theoretic semantics.

Inferentialist Public Announcement Logic: Base-extension Semantics The definitional view of atomic systems in proof-theoretic semantics

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.428367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 865211a6-375e-4a46-b129-92b04b3cbe83 · outbound

This paper cites Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics.

Inferentialist Public Announcement Logic: Base-extension Semantics Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.417634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 11b85af5-b06e-4c2c-8525-0bade85cfc2a · outbound

This paper cites Ideas and results in proof theory.

Inferentialist Public Announcement Logic: Base-extension Semantics Ideas and results in proof theory

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.405674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 207e6ef6-7edc-430a-be7b-01e0235c0143 · outbound

This paper cites Meaning approached via proofs.

Inferentialist Public Announcement Logic: Base-extension Semantics Meaning approached via proofs

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.393090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f5865822-a9a1-4ca2-8ddf-ba47e780bffc · outbound

This paper cites An Inferentialist Interpretation of Classical Logic.

Inferentialist Public Announcement Logic: Base-extension Semantics An Inferentialist Interpretation of Classical Logic

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.380063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6290b401-165f-4763-a234-7ded22db3733 · outbound

This paper cites Classical logic without bivalence.

Inferentialist Public Announcement Logic: Base-extension Semantics Classical logic without bivalence

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.368245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6ca84712-fd64-4326-86a4-4d27836dc63b · outbound

This paper cites Base-extension semantics for intuitionistic sentential logic.

Inferentialist Public Announcement Logic: Base-extension Semantics Base-extension semantics for intuitionistic sentential logic

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.355216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 08bb224d-aeb5-480e-b368-2f759f629f49 · outbound

This paper cites Validity concepts in proof-theoretic semantics.

Inferentialist Public Announcement Logic: Base-extension Semantics Validity concepts in proof-theoretic semantics

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.343060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bfad48fa-bd2a-4e74-989f-ec5625fd7aa4 · outbound

This paper cites Proof-Theoretic versus Model-Theoretic Consequence.

Inferentialist Public Announcement Logic: Base-extension Semantics Proof-Theoretic versus Model-Theoretic Consequence

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:06:41.330593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

Observation 6889e62d-9366-4983-bac7-e37004f85024 · inbound

Continuations and Completeness in Proof-theoretic Semantics cites this paper.

Continuations and Completeness in Proof-theoretic Semantics Inferentialist Public Announcement Logic: Base-extension Semantics

Reference 79

Resolution: verified exact; arxiv_id, observed 2026-05-11T17:56:07.615515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9e60c119-b657-4223-9cfd-8c9fbefc23ce · inbound

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics cites this paper.

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics Inferentialist Public Announcement Logic: Base-extension Semantics

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-11T18:31:08.052568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4394d98c-831a-463b-a89b-519082c46cf6 · inbound

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics cites this paper.

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics Inferentialist Public Announcement Logic: Base-extension Semantics

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-11T04:20:58.636070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d7ae5f83-c077-4da5-97b5-307710d24528 · inbound

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics cites this paper.

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics Inferentialist Public Announcement Logic: Base-extension Semantics

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-20T23:19:13.924843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 51958392-2040-4dea-83f5-ae0130689202 · inbound

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics cites this paper.

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics Inferentialist Public Announcement Logic: Base-extension Semantics

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-07-01T13:25:45.381691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.