Paper Citation Record · LEDGER

Kamide is in America, Moisil and Leitgeb are in Australia

As of 11 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2501.00495.

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

pith.paper-citation-record.v1
2501.00495 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T23:06:47.299722Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

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

43 of 43 outbound references displayed

verified exact22
verified fuzzy12
unresolved4
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e2337733-47dd-4bd4-b620-b76cec2922c5 · outbound

This paper cites an unresolved cited work.

Kamide is in America, Moisil and Leitgeb are in Australia Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.738217Z

Source-reported events for the cited work

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

Observation 174eed18-ea00-4cf4-b974-6f4c8f3e3003 · outbound

This paper cites The Journal of Symbolic Logic 49(1), pp.

Kamide is in America, Moisil and Leitgeb are in Australia The Journal of Symbolic Logic 49(1), pp

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T23:06:46.989785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c747ccac-90dc-4bd7-9c5a-ee0a3116ee66 · outbound

This paper cites Mojtaba Mojtahedi (2014): Completeness of intermediate logics with doubly negated axioms.

Kamide is in America, Moisil and Leitgeb are in Australia Mojtaba Mojtahedi (2014): Completeness of intermediate logics with doubly negated axioms

Reference 3

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.710737Z

Source-reported events for the cited work

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

Observation 32103946-00d6-4ae1-8940-715fadcbbaf7 · outbound

This paper cites Logica Universalis 14(3), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logica Universalis 14(3), pp

Reference 4

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.692940Z

Source-reported events for the cited work

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

Observation 9b48d140-be74-41d9-bdb6-f83c037777cc · outbound

This paper cites Logique et Analyse 185–188, pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logique et Analyse 185–188, pp

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.161652Z

Source-reported events for the cited work

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

Observation bb7b22df-1fb7-4a49-ab5b-e765f0282e4c · outbound

This paper cites Logique et Analyse 54(213), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logique et Analyse 54(213), pp

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.145274Z

Source-reported events for the cited work

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

Observation 19ae0c92-1ec5-4ffe-bbd9-a46ad045fb09 · outbound

This paper cites Oxford, doi: 10.1093/oso/ 9780198537793.001.0001.

Kamide is in America, Moisil and Leitgeb are in Australia Oxford, doi: 10.1093/oso/ 9780198537793.001.0001

Reference 7

Resolution: malformed identifier; no resolver link, observed 2026-08-10T23:06:47.017800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21fa8006-d10c-4d9f-8980-6bf18a44b1c4 · outbound

This paper cites Studia Logica 103(4), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Studia Logica 103(4), pp

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T23:06:47.022542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26f1f8b2-f2b6-45e4-aee9-926b75a8ad8d · outbound

This paper cites Journal of Mathematical sciences 205(3), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Journal of Mathematical sciences 205(3), pp

Reference 9

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.655836Z

Source-reported events for the cited work

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

Observation 5a5045fc-5956-488e-a957-7748715b6941 · outbound

This paper cites In Katalin Bimb´ o, editor: Relevance Logics and Other Tools for Reasoning.

Kamide is in America, Moisil and Leitgeb are in Australia In Katalin Bimb´ o, editor: Relevance Logics and Other Tools for Reasoning

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.126662Z

Source-reported events for the cited work

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

Observation c3dfea03-a78c-4141-9e28-469cfa36b44f · outbound

This paper cites The Journal of Symbolic Logic 83(3), pp.

Kamide is in America, Moisil and Leitgeb are in Australia The Journal of Symbolic Logic 83(3), pp

Reference 11

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.639899Z

Source-reported events for the cited work

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

Observation 06a30185-12a3-4085-b87f-372cdc5f1339 · outbound

This paper cites The Journal of Symbolic Logic 37(1), pp.

Kamide is in America, Moisil and Leitgeb are in Australia The Journal of Symbolic Logic 37(1), pp

Reference 12

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.622558Z

Source-reported events for the cited work

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

Observation 780a9b4d-8c82-4b15-8b0e-e1657c9f2698 · outbound

This paper cites Archive for Mathematical Logic 29(2), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Archive for Mathematical Logic 29(2), pp

Reference 13

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.606619Z

Source-reported events for the cited work

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

Observation 735139d0-50bd-4522-9350-b3c2b4d7f871 · outbound

This paper cites Studia Logica: An International Journal for Symbolic Logic 36(1/2), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Studia Logica: An International Journal for Symbolic Logic 36(1/2), pp

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T23:06:47.053205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3300e826-eaea-43c1-b60c-01675678b42b · outbound

This paper cites Logic Journal of IGPL 11(6), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logic Journal of IGPL 11(6), pp

Reference 15

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.577311Z

Source-reported events for the cited work

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

Observation 009f947c-65b6-4283-8db9-ef7b4310c492 · outbound

This paper cites Journal of Logic, Language and Information 30, p.

Kamide is in America, Moisil and Leitgeb are in Australia Journal of Logic, Language and Information 30, p

Reference 16

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T23:06:48.111247Z

Source-reported events for the cited work

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

Observation b48757de-17c6-4cc1-8fe2-84a1905f4ee9 · outbound

This paper cites In Katalin Bimb´ o, editor: Relevance Logics and other Tools for Reasoning: Essays in Ho nor of J.

Kamide is in America, Moisil and Leitgeb are in Australia In Katalin Bimb´ o, editor: Relevance Logics and other Tools for Reasoning: Essays in Ho nor of J

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.095752Z

Source-reported events for the cited work

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

Observation 07223460-165b-402a-9786-d903921d459e · outbound

This paper cites In: International Workshop on Logic, Rationality and Interact ion, Springer, pp.

Kamide is in America, Moisil and Leitgeb are in Australia In: International Workshop on Logic, Rationality and Interact ion, Springer, pp

Reference 18

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T23:06:48.078934Z

Source-reported events for the cited work

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

Observation 2db8e86d-adda-4117-9f97-06bc1d17d168 · outbound

This paper cites Logic and Logical Philosophy 19(1-2), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logic and Logical Philosophy 19(1-2), pp

Reference 19

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.562524Z

Source-reported events for the cited work

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

Observation c72489ab-c73d-4d42-913d-c4323b2acbe3 · outbound

This paper cites Logic and Logical Philosophy 28(3), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logic and Logical Philosophy 28(3), pp

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.061100Z

Source-reported events for the cited work

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

Observation b59d3065-cf9e-4b0b-9e9d-5a5e700a75b6 · outbound

This paper cites Reports on Mathematical Logic 15, pp.

Kamide is in America, Moisil and Leitgeb are in Australia Reports on Mathematical Logic 15, pp

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.044891Z

Source-reported events for the cited work

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

Observation f751ccbc-3044-4fdc-8e67-bde78c006541 · outbound

This paper cites Journal of Philosophical Logic 48(2), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Journal of Philosophical Logic 48(2), pp

Reference 22

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.547152Z

Source-reported events for the cited work

correction dated 2019-01-03. Source: crossref record 10.1007/s10992-018-09497-2->10.1007/s10992-018-9467-0:correction, observed 2026-07-11T03:01:36.609927+00:00. This notice travels one citation hop only.

Observation 38bd148a-bf57-46de-ab90-591338d23a57 · outbound

This paper cites The Journal of Symbolic Logic 14(1), pp.

Kamide is in America, Moisil and Leitgeb are in Australia The Journal of Symbolic Logic 14(1), pp

Reference 23

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T23:06:48.026642Z

Source-reported events for the cited work

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

Observation 8f6936ec-b072-43c0-9f9c-b275c2af5964 · outbound

This paper cites The Review of Symbolic Logic 16(3), p.

Kamide is in America, Moisil and Leitgeb are in Australia The Review of Symbolic Logic 16(3), p

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:48.008362Z

Source-reported events for the cited work

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

Observation 59614693-2ee8-496c-953d-b4146f9651c8 · outbound

This paper cites Journal of Philosophical Logic 50(1), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Journal of Philosophical Logic 50(1), pp

Reference 25

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.531166Z

Source-reported events for the cited work

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

Observation 971f5bbc-9e40-4563-81d4-23c96a224e64 · outbound

This paper cites Journal of Applied Logics-IfCoLog Journal 10(1), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Journal of Applied Logics-IfCoLog Journal 10(1), pp

Reference 26

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.515304Z

Source-reported events for the cited work

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

Observation e76ace56-d96f-411c-8980-07a57c7e7bbe · outbound

This paper cites In: Proceedings of WoLLIC 2019, Springer, pp.

Kamide is in America, Moisil and Leitgeb are in Australia In: Proceedings of WoLLIC 2019, Springer, pp

Reference 27

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.499091Z

Source-reported events for the cited work

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

Observation b76fd24f-d5da-4275-b3e6-c7cbcc79bbc2 · outbound

This paper cites In Nicola Olivetti, Rineke V erbrugge, Sara Negri & Gabriel Sandu, editors: Advances in Modal Logic , 13, College Publications, pp.

Kamide is in America, Moisil and Leitgeb are in Australia In Nicola Olivetti, Rineke V erbrugge, Sara Negri & Gabriel Sandu, editors: Advances in Modal Logic , 13, College Publications, pp

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:47.989667Z

Source-reported events for the cited work

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

Observation 6cdee5c9-6c78-4e47-80c2-5ca0bde8f1cd · outbound

This paper cites Publications of the Research Institute for Math- ematical Sciences 13(3), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Publications of the Research Institute for Math- ematical Sciences 13(3), pp

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T23:06:47.231585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f375aaee-8cbd-4809-82be-bf4866477d86 · outbound

This paper cites Springer, doi: 10.1007/978-981-13-7997-0.

Kamide is in America, Moisil and Leitgeb are in Australia Springer, doi: 10.1007/978-981-13-7997-0

Reference 30

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.482370Z

Source-reported events for the cited work

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

Observation 575421ce-b8b4-41bd-9f35-af257b8cb96c · outbound

This paper cites Logic Journal of the IGPL 30(5), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logic Journal of the IGPL 30(5), pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.465489Z

Source-reported events for the cited work

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

Observation e379cb28-1110-41c2-903f-750ced15c5c5 · outbound

This paper cites Electronic Notes in Theoretical Computer Science 344, pp.

Kamide is in America, Moisil and Leitgeb are in Australia Electronic Notes in Theoretical Computer Science 344, pp

Reference 32

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.449910Z

Source-reported events for the cited work

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

Observation 5158df4b-5d4d-4db9-91e8-2dd7a86e18c1 · outbound

This paper cites Logic and Logical Philosophy 23(4), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Logic and Logical Philosophy 23(4), pp

Reference 33

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.432778Z

Source-reported events for the cited work

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

Observation 27e90da4-697b-4a22-92e4-2d1dd51939e2 · outbound

This paper cites Studia Logica 33(3), pp.

Kamide is in America, Moisil and Leitgeb are in Australia Studia Logica 33(3), pp

Reference 34

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.413232Z

Source-reported events for the cited work

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

Observation 647cd57a-cd6d-4300-9776-62549f4530e4 · outbound

This paper cites Mathematical logic, pp.

Kamide is in America, Moisil and Leitgeb are in Australia Mathematical logic, pp

Reference 35

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.393351Z

Source-reported events for the cited work

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

Observation 3b016271-c5e0-4219-a918-1e03a9f86cbe · outbound

This paper cites an unresolved cited work.

Kamide is in America, Moisil and Leitgeb are in Australia Unresolved cited work

Reference 36

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.376678Z

Source-reported events for the cited work

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

Observation 3d7786a0-aeb4-42ec-942d-e905f0bc7f51 · outbound

This paper cites an unresolved cited work.

Kamide is in America, Moisil and Leitgeb are in Australia Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.359801Z

Source-reported events for the cited work

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

Observation 78e55bd1-56f9-4cb4-a904-4f9e66a68efe · outbound

This paper cites Don Pigozzi on Abstract Algebraic Logic, Universal Algebra , and Com- puter Science, pp.

Kamide is in America, Moisil and Leitgeb are in Australia Don Pigozzi on Abstract Algebraic Logic, Universal Algebra , and Com- puter Science, pp

Reference 38

Resolution: verified exact; doi, observed 2026-08-10T23:06:47.342840Z

Source-reported events for the cited work

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

Observation 0d53dbd4-3512-4bbf-b9d6-40a8d7e0aa3f · outbound

This paper cites In: 2022 IEEE 52th International Symposium on Multiple-V alued Logi c, 52, IEEE, pp.

Kamide is in America, Moisil and Leitgeb are in Australia In: 2022 IEEE 52th International Symposium on Multiple-V alued Logi c, 52, IEEE, pp

Reference 39

Resolution: malformed identifier; no resolver link, observed 2026-08-10T23:06:47.280150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1d947a8-eba2-4d6e-9ce8-4946649a1bb4 · outbound

This paper cites I, Elsevier.

Kamide is in America, Moisil and Leitgeb are in Australia I, Elsevier

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:47.973513Z

Source-reported events for the cited work

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

Observation e8247ce0-8e3c-489d-b753-c8b373796af3 · outbound

This paper cites In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing, editors: Advances in Modal Logic.

Kamide is in America, Moisil and Leitgeb are in Australia In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing, editors: Advances in Modal Logic

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:47.957710Z

Source-reported events for the cited work

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

Observation dd86db23-f5c4-4873-a2c8-fec64f287ac9 · outbound

This paper cites In Edward N.

Kamide is in America, Moisil and Leitgeb are in Australia In Edward N

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:47.941035Z

Source-reported events for the cited work

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

Observation b8de0fdb-721b-41e9-8733-45ee9e8c7b4b · outbound

This paper cites Moscow State Lomonosov University doctoral (Doctor of Science) dissertation.

Kamide is in America, Moisil and Leitgeb are in Australia Moscow State Lomonosov University doctoral (Doctor of Science) dissertation

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:06:47.923048Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.