Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T21:10:39.518850Z
Paper Citation Record · LEDGER
TPTP World Infrastructure for Non-classical Logics
As of 11 August 2026, this Paper Citation Record lists 100 of 108 outbound references and 1 inbound Pith citation observation for arXiv:2508.09318.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-06T05:28:31.282497Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-10T05:30:23.456663Z
Reference resolution
100 of 108 outbound references displayed
- verified exact3
- verified fuzzy66
- unresolved28
- parse uncertain0
- malformed identifier3
- metadata mismatch0
External citation measurements
1
pith, observed 2026-08-10T05:30:23.456663Z
Outbound references
Observation 645a71d5-3a96-41b0-b503-81e099721346 · outbound
This paper cites : The TPTP Problem Library and Associated Infrastructure.
TPTP World Infrastructure for Non-classical Logics : The TPTP Problem Library and Associated Infrastructure
Reference 1
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-05T21:10:42.020273Z
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 379b7c75-c9cc-4ae9-9dd9-d5b3b468806e · outbound
This paper cites : The TPTP World - Infrastructure for Automated Reasoning.
TPTP World Infrastructure for Non-classical Logics : The TPTP World - Infrastructure for Automated Reasoning
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:28.687071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b586724-8a2f-4f87-a1e0-cfdb88cac886 · outbound
This paper cites , Schulz , S.
TPTP World Infrastructure for Non-classical Logics , Schulz , S
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:28.765363Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a467110-9534-48b7-8d8d-d54e1a4074a2 · outbound
This paper cites : The SZS Ontologies for Automated Reasoning Software.
TPTP World Infrastructure for Non-classical Logics : The SZS Ontologies for Automated Reasoning Software
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:28.836970Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c19d71f-8717-44a3-833f-a1ba7fbc9d76 · outbound
This paper cites : The CADE ATP System Competition - CASC.
TPTP World Infrastructure for Non-classical Logics : The CADE ATP System Competition - CASC
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:28.921022Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a5dc3ee-a092-45ac-8153-f2145d608b72 · outbound
This paper cites u ller , C. : What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre . K \.
TPTP World Infrastructure for Non-classical Logics u ller , C. : What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre . K \
Reference 6
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-05T21:10:41.868572Z
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 30b91d69-f924-4da7-b147-296906b2de0b · outbound
This paper cites , Gliozzi , V.
TPTP World Infrastructure for Non-classical Logics , Gliozzi , V
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.078820Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 589b04b9-346b-4450-a6d3-14e03ba8c621 · outbound
This paper cites , Achen , A.
TPTP World Infrastructure for Non-classical Logics , Achen , A
Reference 8
- Resolution
- verified exact
- raw_fallback, observed 2026-08-05T21:10:42.422148Z
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 568e7304-4a3a-4132-814a-5bfc30f6b98b · outbound
This paper cites , Lehnherr , D.
TPTP World Infrastructure for Non-classical Logics , Lehnherr , D
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.294428Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2bc761c0-7710-4757-a354-5b9a17187c29 · outbound
This paper cites , Parent , X.
TPTP World Infrastructure for Non-classical Logics , Parent , X
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.402210Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 226cadd5-dbd2-42c9-ae24-854d8f43c06f · outbound
This paper cites u ller , C. , Woltzenlogel Paleo , B. : The Inconsistency in G \.
TPTP World Infrastructure for Non-classical Logics u ller , C. , Woltzenlogel Paleo , B. : The Inconsistency in G \
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.482405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 64bcb33d-2e48-416d-9726-96b229a9ecda · outbound
This paper cites : Towards a Computational Semantics.
TPTP World Infrastructure for Non-classical Logics : Towards a Computational Semantics
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-05T21:10:41.741069Z
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 a9eef23e-9f20-4cf2-aa1f-6bed0edf53ef · outbound
This paper cites : What 'must' and 'can' Must and Can Mean.
TPTP World Infrastructure for Non-classical Logics : What 'must' and 'can' Must and Can Mean
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.700080Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 774be5b9-6a25-434c-bb46-9953074ef14b · outbound
This paper cites : A Methodology for Hardware Verification Based on Logic Simulation.
TPTP World Infrastructure for Non-classical Logics : A Methodology for Hardware Verification Based on Logic Simulation
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.829266Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9a27a76-dd89-40c9-bebb-b3baa2a16d38 · outbound
This paper cites u ller , C. : TPTP and Beyond: Representation of Quantified Non-Classical Logics . In: Benzm \.
TPTP World Infrastructure for Non-classical Logics u ller , C. : TPTP and Beyond: Representation of Quantified Non-Classical Logics . In: Benzm \
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:29.921452Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c38d10fa-28cf-45e2-9545-654d5db80729 · outbound
This paper cites , Benthem , J.
TPTP World Infrastructure for Non-classical Logics , Benthem , J
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.019232Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3165aa95-1a1d-46e9-a047-8524af3cada0 · outbound
This paper cites , Cate , B.
TPTP World Infrastructure for Non-classical Logics , Cate , B
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.126033Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ef50762-70a1-4adf-8cb0-140af8898c7d · outbound
This paper cites , Steen , A.
TPTP World Infrastructure for Non-classical Logics , Steen , A
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.234191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19ea5fb5-4e71-4002-a91f-1bf1899e1996 · outbound
This paper cites , Steen , A.
TPTP World Infrastructure for Non-classical Logics , Steen , A
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.342656Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3b64b62d-d7aa-424c-b81a-4d2c7ab4edbb · outbound
This paper cites : An extensible logic embedding tool for lightweight non-classical reasoning (short paper).
TPTP World Infrastructure for Non-classical Logics : An extensible logic embedding tool for lightweight non-classical reasoning (short paper)
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.441444Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff91e665-b9b4-4887-84dd-a93f900ed320 · outbound
This paper cites , Fuenmayor , D.
TPTP World Infrastructure for Non-classical Logics , Fuenmayor , D
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.553102Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e0721501-1601-4b0b-a2c5-e53dd4ae0bad · outbound
This paper cites , Sutcliffe , G.
TPTP World Infrastructure for Non-classical Logics , Sutcliffe , G
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.642756Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 954d0704-40d7-470c-87b8-2589c80f9eba · outbound
This paper cites : An Introduction to Non-Classical Logic: From If to Is.
TPTP World Infrastructure for Non-classical Logics : An Introduction to Non-Classical Logic: From If to Is
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.733924Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3241c8f9-40b3-499a-98ed-de9a105833ca · outbound
This paper cites : The Blackwell Guide to Philosophical Logic.
TPTP World Infrastructure for Non-classical Logics : The Blackwell Guide to Philosophical Logic
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.838104Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b225ed15-9e02-488f-b566-b8e81552d3c9 · outbound
This paper cites , Mendelsohn , R.
TPTP World Infrastructure for Non-classical Logics , Mendelsohn , R
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:30.983066Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dde3073e-e4e7-4769-9acd-69b9e3a2593e · outbound
This paper cites : Alethic Modal Logics and Semantics.
TPTP World Infrastructure for Non-classical Logics : Alethic Modal Logics and Semantics
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.111133Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4cfeb484-d373-4761-8265-2afc327ce16e · outbound
This paper cites : Deontic Logic: Introductory and Systematic Readings.
TPTP World Infrastructure for Non-classical Logics : Deontic Logic: Introductory and Systematic Readings
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.197850Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0c1b816-6190-4061-9699-114c17414510 · outbound
This paper cites , Halpern , J.
TPTP World Infrastructure for Non-classical Logics , Halpern , J
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.309343Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a09cd534-d1ed-4566-891b-9b88f3cb8c8a · outbound
This paper cites : Knowledge and Belief - An Introduction to the Logic of the Two Notions.
TPTP World Infrastructure for Non-classical Logics : Knowledge and Belief - An Introduction to the Logic of the Two Notions
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.389841Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81c0ccc9-06dd-4ec2-8776-ea2f57433ff0 · outbound
This paper cites , Rumberg , A.
TPTP World Infrastructure for Non-classical Logics , Rumberg , A
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.487471Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7bd223cb-0b10-43c1-8ce8-c973a841bfdc · outbound
This paper cites , Heuerding , A.
TPTP World Infrastructure for Non-classical Logics , Heuerding , A
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.567875Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d21a5afd-c68a-4c7b-bb25-1550758e8195 · outbound
This paper cites , Otten , J.
TPTP World Infrastructure for Non-classical Logics , Otten , J
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:10:31.672028Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27cb5091-9ee8-4551-b8e8-e6106367709a · outbound
This paper cites , Otten , J.
TPTP World Infrastructure for Non-classical Logics , Otten , J
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:48.027354Z
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 09f77956-1426-4437-afd1-43b612cd27dd · outbound
This paper cites a hnle , R. , Kerber , M. , Weidenbach , C. : Common Syntax of the DFG-Schwerpunktprogramm Deduction . Technical Report TR 10/96, Fakult \.
TPTP World Infrastructure for Non-classical Logics a hnle , R. , Kerber , M. , Weidenbach , C. : Common Syntax of the DFG-Schwerpunktprogramm Deduction . Technical Report TR 10/96, Fakult \
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:48.015744Z
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 7daab5e3-72ac-429c-a075-0369d53d3f2f · outbound
This paper cites , Schmidt , R.A.
TPTP World Infrastructure for Non-classical Logics , Schmidt , R.A
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:48.005705Z
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 8394b652-6161-4814-a878-cb3f6d94e490 · outbound
This paper cites , Schmidt , R.
TPTP World Infrastructure for Non-classical Logics , Schmidt , R
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.996828Z
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 5a7f2bf0-178f-4f2b-a09a-e5547c6d5ee5 · outbound
This paper cites , Fikes , R.E.
TPTP World Infrastructure for Non-classical Logics , Fikes , R.E
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.987589Z
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 e07b67b3-e1d8-43d4-bc84-89a10bc71335 · outbound
This paper cites ISO/IEC 24707:2018 (2018) botherref.
TPTP World Infrastructure for Non-classical Logics ISO/IEC 24707:2018 (2018) botherref
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.979239Z
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 7bca0899-bc8c-4b7d-9ba6-03e453fcad7d · outbound
This paper cites , Aranda , V.
TPTP World Infrastructure for Non-classical Logics , Aranda , V
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.970187Z
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 79c781ad-cbba-48d5-820b-f9b8d9d23c10 · outbound
This paper cites , Kovacs , L.
TPTP World Infrastructure for Non-classical Logics , Kovacs , L
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.960992Z
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 83c42c3c-4f7a-4093-b363-4aec63e78740 · outbound
This paper cites : Completeness in the Theory of Types.
TPTP World Infrastructure for Non-classical Logics : Completeness in the Theory of Types
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.951515Z
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 2577e52f-cc58-4426-9843-adf5281cae02 · outbound
This paper cites : General Models and Extensionality.
TPTP World Infrastructure for Non-classical Logics : General Models and Extensionality
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.942661Z
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 a35cc3ef-07b8-497c-acda-924329718368 · outbound
This paper cites , Brown , C.E.
TPTP World Infrastructure for Non-classical Logics , Brown , C.E
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.933210Z
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 7f9ad3e2-72fc-41ab-ba9f-7eb4efcaf6f5 · outbound
This paper cites : Normal Multimodal Logics: Automatic Deduction and Logic Programming Extensions.
TPTP World Infrastructure for Non-classical Logics : Normal Multimodal Logics: Automatic Deduction and Logic Programming Extensions
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.922079Z
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 58d98ab7-ff4a-4c1a-8959-835b475adef0 · outbound
This paper cites : Modal Logic.
TPTP World Infrastructure for Non-classical Logics : Modal Logic
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.910404Z
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 c5208e99-a2e1-452f-96d1-5060d092fead · outbound
This paper cites : Semantical Considerations on Modal Logic.
TPTP World Infrastructure for Non-classical Logics : Semantical Considerations on Modal Logic
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.899250Z
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 03920a44-4f10-4a90-ad36-51c04035b3c6 · outbound
This paper cites : A Functional Calculus of First Order Based on Strict Implication.
TPTP World Infrastructure for Non-classical Logics : A Functional Calculus of First Order Based on Strict Implication
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.887971Z
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 99176401-407a-4500-8dc6-d7799a2eea06 · outbound
This paper cites : Universal Grammar.
TPTP World Infrastructure for Non-classical Logics : Universal Grammar
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.875224Z
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 d74e0b0a-684a-41b0-aa51-dffa29c2c243 · outbound
This paper cites : The Proper Treatment of Quantification in Ordinary English.
TPTP World Infrastructure for Non-classical Logics : The Proper Treatment of Quantification in Ordinary English
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.863690Z
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 423ec8cb-390e-49dd-842a-424ea489b2fb · outbound
This paper cites : A General Interpreted Modal Calculus.
TPTP World Infrastructure for Non-classical Logics : A General Interpreted Modal Calculus
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.851321Z
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 fed82b21-6a2a-4395-a1d9-19872aa4635b · outbound
This paper cites : Intensional and Higher-order Modal Logic.
TPTP World Infrastructure for Non-classical Logics : Intensional and Higher-order Modal Logic
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.839072Z
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 a2b26224-2312-40d4-9ad4-eee745b69573 · outbound
This paper cites : Types, Tableaus, and G \"o del’s God.
TPTP World Infrastructure for Non-classical Logics : Types, Tableaus, and G \"o del’s God
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.827546Z
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 5a7e20d4-8705-4e7e-884e-af2653237cb7 · outbound
This paper cites , Suttner , C.B.
TPTP World Infrastructure for Non-classical Logics , Suttner , C.B
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.816118Z
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 a12bcdd6-2132-4e8e-9c3e-55feeda51a08 · outbound
This paper cites : The TPTP Problem Library and Associated Infrastructure.
TPTP World Infrastructure for Non-classical Logics : The TPTP Problem Library and Associated Infrastructure
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.804026Z
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 c5d40a9d-5f81-43ac-856d-26838a70e1d1 · outbound
This paper cites , Schulz , S.
TPTP World Infrastructure for Non-classical Logics , Schulz , S
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.793029Z
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 4495836d-de2a-400f-a87e-2b4f8807ee94 · outbound
This paper cites , Paskevich , A.
TPTP World Infrastructure for Non-classical Logics , Paskevich , A
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.782086Z
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 b06dfb8b-3567-4ca3-b160-81d5a5aa514a · outbound
This paper cites , Kotelnikov , E.
TPTP World Infrastructure for Non-classical Logics , Kotelnikov , E
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.770486Z
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 0efd9b3e-c150-4afc-bb7c-a944dd1e9a24 · outbound
This paper cites , Benzm \"u ller , C.
TPTP World Infrastructure for Non-classical Logics , Benzm \"u ller , C
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.758768Z
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 995f38aa-36fe-4d27-a5d3-ed03dbf4edbb · outbound
This paper cites , Sutcliffe , G.
TPTP World Infrastructure for Non-classical Logics , Sutcliffe , G
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.747682Z
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 f362b833-abe7-462a-9143-fd2725a958e6 · outbound
This paper cites , Sutcliffe , G.
TPTP World Infrastructure for Non-classical Logics , Sutcliffe , G
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.737019Z
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 b4338e71-d7ee-409e-9043-9c378522adfb · outbound
This paper cites : What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles.
TPTP World Infrastructure for Non-classical Logics : What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.725430Z
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 cfbd9d5a-7f93-42ae-be04-263420f05292 · outbound
This paper cites , Rott , P.
TPTP World Infrastructure for Non-classical Logics , Rott , P
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.713603Z
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 c7a873db-c11d-4023-97bd-349c1cb21beb · outbound
This paper cites : Light Linear Logic.
TPTP World Infrastructure for Non-classical Logics : Light Linear Logic
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.700869Z
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 1d3ac82d-06b0-4382-8c84-e11d6cc3c760 · outbound
This paper cites , Zimmer , J.
TPTP World Infrastructure for Non-classical Logics , Zimmer , J
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.689260Z
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 9cf68aa0-1412-4124-b90e-11f9c8ce1ce5 · outbound
This paper cites , Thalman , L.
TPTP World Infrastructure for Non-classical Logics , Thalman , L
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.677210Z
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 1b16ae57-b590-4a65-9ae4-5764455ad1fb · outbound
This paper cites , Sano , K.
TPTP World Infrastructure for Non-classical Logics , Sano , K
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.664210Z
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 11538af7-ed88-42bb-8f5b-ee325b51d713 · outbound
This paper cites , Kozen , D.
TPTP World Infrastructure for Non-classical Logics , Kozen , D
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.651135Z
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 400a2e56-a1d3-4766-b97b-cf2ec041fa88 · outbound
This paper cites , Hoek , W.
TPTP World Infrastructure for Non-classical Logics , Hoek , W
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.637365Z
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 89bd11ee-eadc-488a-88ff-e973b1cf9972 · outbound
This paper cites , Suttner , C.B.
TPTP World Infrastructure for Non-classical Logics , Suttner , C.B
Reference 69
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-05T21:10:41.588238Z
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 026946e8-1ec9-4e2c-a210-d6b58c44f490 · outbound
This paper cites : Modern Logic.
TPTP World Infrastructure for Non-classical Logics : Modern Logic
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.624785Z
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 b031296d-eb75-410e-a12a-3546837c244b · outbound
This paper cites : Modal Logics and Philosophy.
TPTP World Infrastructure for Non-classical Logics : Modal Logics and Philosophy
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.613193Z
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 11a016d8-d4fb-4c15-b7a7-07cd19c3e4d7 · outbound
This paper cites : Logic for Philosophy.
TPTP World Infrastructure for Non-classical Logics : Logic for Philosophy
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.601746Z
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 26fb6c24-c2d0-4e3e-910b-cc47ff380089 · outbound
This paper cites : What Should a Database Know? Journal of Logic Programming 14 ( 1-2 ), 127 -- 153 ( 1992 ) barticle.
TPTP World Infrastructure for Non-classical Logics : What Should a Database Know? Journal of Logic Programming 14 ( 1-2 ), 127 -- 153 ( 1992 ) barticle
Reference 73
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.591772Z
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 8946b734-24a1-4fda-84e5-444adb04ed1e · outbound
This paper cites , Herzig , A.
TPTP World Infrastructure for Non-classical Logics , Herzig , A
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.581653Z
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 bebf2315-41d1-491f-beaa-b5cd04feea0d · outbound
This paper cites : Towards a Computational Account of Knowledge, Action and Inference in Instructions.
TPTP World Infrastructure for Non-classical Logics : Towards a Computational Account of Knowledge, Action and Inference in Instructions
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.571523Z
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 68897daf-04bd-45cb-ae77-dd9cdd474d40 · outbound
This paper cites , Nalon , C.
TPTP World Infrastructure for Non-classical Logics , Nalon , C
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:47.258386Z
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 63e14b24-9bd7-40dd-a8c5-ff2ecc5fda3b · outbound
This paper cites u ller , C. , Woltzenlogel Paleo , B. : Automating G \.
TPTP World Infrastructure for Non-classical Logics u ller , C. , Woltzenlogel Paleo , B. : Automating G \
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:46.903776Z
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 32eedeee-2dc2-4fdd-bfd3-31b59e196f4c · outbound
This paper cites , Ravishankar Sarma , A.V.
TPTP World Infrastructure for Non-classical Logics , Ravishankar Sarma , A.V
Reference 78
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:46.494094Z
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 21b0f978-8790-4d05-b801-9dc0e1bfc182 · outbound
This paper cites , Hustadt , U.
TPTP World Infrastructure for Non-classical Logics , Hustadt , U
Reference 79
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:46.052522Z
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 a6d1c8ee-663b-4e94-989e-7a03cd83c3b5 · outbound
This paper cites : The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics.
TPTP World Infrastructure for Non-classical Logics : The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:45.939248Z
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 da384ce3-9603-446c-916f-53f13accc45d · outbound
This paper cites : MleanCoP: A Connection Prover for First-Order Modal Logic.
TPTP World Infrastructure for Non-classical Logics : MleanCoP: A Connection Prover for First-Order Modal Logic
Reference 81
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:45.795651Z
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 59f2d6e4-e6fa-4d8c-bef4-204038b3f5c1 · outbound
This paper cites , Schmidt , R.
TPTP World Infrastructure for Non-classical Logics , Schmidt , R
Reference 82
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:45.617584Z
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 11d68052-9082-45cf-a65a-8569f0342e52 · outbound
This paper cites , Benzm \"u ller , C.
TPTP World Infrastructure for Non-classical Logics , Benzm \"u ller , C
Reference 83
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:45.404693Z
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 80072366-8f39-4fa7-a95b-d89650d4f2fd · outbound
This paper cites , Fauthoux , D.
TPTP World Infrastructure for Non-classical Logics , Fauthoux , D
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:45.234652Z
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 2009c199-85fc-4290-8459-f371b9bd8496 · outbound
This paper cites , Schmidt , R.
TPTP World Infrastructure for Non-classical Logics , Schmidt , R
Reference 85
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:45.119592Z
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 face2e25-03af-4c8f-b8be-f39f3b8dc0d5 · outbound
This paper cites , Sutcliffe , G.
TPTP World Infrastructure for Non-classical Logics , Sutcliffe , G
Reference 86
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.963925Z
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 2b216db3-64e5-409c-872d-28afa3c36a86 · outbound
This paper cites , Voronkov , A.
TPTP World Infrastructure for Non-classical Logics , Voronkov , A
Reference 87
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.851430Z
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 16e68567-0bee-4b1b-85dc-75a582e08054 · outbound
This paper cites , Hustadt , U.
TPTP World Infrastructure for Non-classical Logics , Hustadt , U
Reference 88
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.696071Z
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 4945d344-7a07-4246-a501-beca7247e5f3 · outbound
This paper cites , Sutcliffe , G.
TPTP World Infrastructure for Non-classical Logics , Sutcliffe , G
Reference 89
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.565655Z
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 5d23e826-0cef-4d5b-9d0b-a671cd4fd759 · outbound
This paper cites , Alassaf , R.
TPTP World Infrastructure for Non-classical Logics , Alassaf , R
Reference 90
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.372101Z
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 bf55dd34-7c9b-48d8-b6ab-ff259f826f78 · outbound
This paper cites , Paulson , L.
TPTP World Infrastructure for Non-classical Logics , Paulson , L
Reference 91
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.207842Z
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 1e2ffd68-8199-47a7-b40e-9804f2ea0d4e · outbound
This paper cites , Raths , T.
TPTP World Infrastructure for Non-classical Logics , Raths , T
Reference 92
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:44.057212Z
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 812d18ab-0c43-491d-87ab-cfed8526e345 · outbound
This paper cites : Dynamic Epistemic Logic I: Modeling Knowledge and Belief.
TPTP World Infrastructure for Non-classical Logics : Dynamic Epistemic Logic I: Modeling Knowledge and Belief
Reference 93
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:43.846222Z
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 ca246262-8b5d-43f2-a731-0358bcb5799a · outbound
This paper cites , Jones , A.
TPTP World Infrastructure for Non-classical Logics , Jones , A
Reference 94
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:43.674183Z
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 0f8f6f72-c078-49b4-b1d2-3b34d08afad3 · outbound
This paper cites : Deontic Logic.
TPTP World Infrastructure for Non-classical Logics : Deontic Logic
Reference 95
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:43.560074Z
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 faf79e15-5582-4c85-b285-a3d55bc887ea · outbound
This paper cites , Sutcliffe , G.
TPTP World Infrastructure for Non-classical Logics , Sutcliffe , G
Reference 96
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:43.390417Z
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 e0ce91a3-22ac-4da8-8bf4-0af88de6c7fa · outbound
This paper cites The TPTP Format for Interpretations.
TPTP World Infrastructure for Non-classical Logics The TPTP Format for Interpretations
Reference 97
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T21:10:42.184992Z
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 da41fdde-a424-4d75-9a76-fc12a0066fb2 · outbound
This paper cites , Vaught , R.
TPTP World Infrastructure for Non-classical Logics , Vaught , R
Reference 98
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:43.219888Z
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 d2e952cb-cb19-4ab5-824e-b0e2cbdd959f · outbound
This paper cites : Logic for Computer Science - Foundations of Automatic Theorem Proving.
TPTP World Infrastructure for Non-classical Logics : Logic for Computer Science - Foundations of Automatic Theorem Proving
Reference 99
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:43.077248Z
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 f07ccd9b-322f-49bf-b3d2-4b15518375fa · outbound
This paper cites : SystemOnTPTP.
TPTP World Infrastructure for Non-classical Logics : SystemOnTPTP
Reference 100
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:10:42.901594Z
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
Observation a77ebd04-a5b1-4476-abca-187288feb087 · inbound
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? cites this paper.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? TPTP World Infrastructure for Non-classical Logics
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T05:28:37.239975Z
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.