On the public citation graph
Notes on naive semantics
0 signed · 222 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0079548openalex-snapshot
Non-extensional type-free theories of partial operations and classifications, I
inferredcites →https://doi.org/10.1080/01445348108837023openalex-snapshot
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
inferredcites →https://doi.org/10.2307/2024557openalex-snapshot
Presupposition, Implication, and Self-Reference
inferredcites →https://doi.org/10.2307/2025598openalex-snapshot
Godel, Escher, Bach: An Eternal Golden Braid.
inferredcites →https://doi.org/10.2307/2184846openalex-snapshot
The Semantic Paradoxes: A Diagnostic Investigation
inferredcites →https://doi.org/10.2307/2270581openalex-snapshot
Trial and error predicates and the solution to a problem of Mostowski
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470996751.ch9openalex-snapshot
Semantical and Logical Paradox
inferred← citeshttps://doi.org/10.1007/11353379_12openalex-snapshot
Self-Reference, Chaos, and Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/11494645_65openalex-snapshot
The Transfinite Action of 1 Tape Turing Machines
inferred← citeshttps://doi.org/10.1007/3-540-45331-8_7openalex-snapshot
Theorem Proving for Constructive λ-Calculus
inferred← citeshttps://doi.org/10.1007/3-540-54712-6_215openalex-snapshot
A family of three-valued autoepistemic logics
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_15openalex-snapshot
Model theoretic semantics for Demo
inferred← citeshttps://doi.org/10.1007/3-540-60437-5_18openalex-snapshot
Knowledge representation, exemplification, and the Gupta-Belnap theory of circular definitions
inferred← citeshttps://doi.org/10.1007/3-540-63104-6_22openalex-snapshot
Constructing a normal form for Property Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-52231-4_9openalex-snapshot
A Defense of Reformed Empiricism
inferred← citeshttps://doi.org/10.1007/978-3-031-74527-0_7openalex-snapshot
Paradoxes, Hypodoxes, and More
inferred← citeshttps://doi.org/10.1007/978-3-032-33195-3_14openalex-snapshot
Deconstructing Superintelligence: Identity, Self-Modification and Différance
inferred← citeshttps://doi.org/10.1007/978-3-319-22156-4_6openalex-snapshot
Discrete Transfinite Computation
inferred← citeshttps://doi.org/10.1007/978-3-540-73681-3_30openalex-snapshot
Belief Flow in Assertion Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-41431-2_19openalex-snapshot
Three Kinds of Semantics
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_23openalex-snapshot
On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent
inferred← citeshttps://doi.org/10.1007/978-94-007-1476-2_4openalex-snapshot
Paradoxes of Self-Reference
inferred← citeshttps://doi.org/10.1007/978-94-009-1171-0_10openalex-snapshot
Semantics and the Liar Paradox
inferred← citeshttps://doi.org/10.1007/978-94-009-1575-6_9openalex-snapshot
A Reconstruction of Russell’s Substitution Theory
inferred← citeshttps://doi.org/10.1007/978-94-009-2721-6_5openalex-snapshot
Self-Reference, Attitudes And Paradox
inferred← citeshttps://doi.org/10.1007/978-94-009-3551-8_15openalex-snapshot
A Bibliography of Works on Reflexivity
inferred← citeshttps://doi.org/10.1007/978-94-009-3551-8_9openalex-snapshot
Unstable Solutions to the Liar Paradox
inferred← citeshttps://doi.org/10.1007/978-94-010-0526-5_23openalex-snapshot
Church’s Theorem and Randomness
inferred← citeshttps://doi.org/10.1007/978-94-011-2602-1_7openalex-snapshot
Truth Makers, Truth Predicates, and Truth Types
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_13openalex-snapshot
Negation, Denial and Language Change in Philosophical Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0466-3_3openalex-snapshot
Semantics and the Liar Paradox
inferred← citeshttps://doi.org/10.1007/978-94-017-0487-8_2openalex-snapshot
Proof-Theoretical Aspects of Self-Referential Truth
inferred← citeshttps://doi.org/10.1007/978-94-017-1456-3_20openalex-snapshot
Die Logik der Unbestimmtheiten und Paradoxien
inferred← citeshttps://doi.org/10.1007/978-94-017-9673-6_8openalex-snapshot
Some Remarks on the Finite Theory of Revision
inferred← citeshttps://doi.org/10.1007/bf00249666openalex-snapshot
Alternative revision theories of truth
inferred← citeshttps://doi.org/10.1007/bf00249675openalex-snapshot
Ungroundedness in classical languages
inferred← citeshttps://doi.org/10.1007/bf00269976openalex-snapshot
Die logik der unbestimmtheiten und paradoxien
inferred← citeshttps://doi.org/10.1007/bf00305492openalex-snapshot
Some remarks on extending and interpreting theories with a partial predicate for truth
inferred← citeshttps://doi.org/10.1007/bf00453021openalex-snapshot
Four valued semantics and the Liar
inferred← citeshttps://doi.org/10.1007/bf00453022openalex-snapshot
Paradox, truth and logic part I: Paradox and truth
inferred← citeshttps://doi.org/10.1007/bf00649483openalex-snapshot
How truthlike can a predicate be? A negative result
inferred← citeshttps://doi.org/10.1007/bf00974144openalex-snapshot
Belief representation in a deductivist type-free doxastic logic
inferred← citeshttps://doi.org/10.1007/bf01048483openalex-snapshot
Dynamic semantics and circular propositions
inferred← citeshttps://doi.org/10.1007/bf01052781openalex-snapshot
Non-well-founded sets via revision rules
inferred← citeshttps://doi.org/10.1007/bfb0018440openalex-snapshot
A first order logic of truth, knowledge and belief
inferred← citeshttps://doi.org/10.1007/s10670-022-00640-9openalex-snapshot
From Paradoxicality to Paradox
inferred← citeshttps://doi.org/10.1007/s10992-014-9327-5openalex-snapshot
A Disquotational Theory of Truth as Strong as Z 2 − $Z_{2}^{-}$
inferred← citeshttps://doi.org/10.1007/s10992-015-9393-3openalex-snapshot
Conditionals in Theories of Truth
inferred← citeshttps://doi.org/10.1007/s10992-017-9434-1openalex-snapshot
Some Notes on Truths and Comprehension
inferred← citeshttps://doi.org/10.1007/s10992-018-9474-1openalex-snapshot
Revision Without Revision Sequences: Self-Referential Truth
inferred← citeshttps://doi.org/10.1007/s10992-018-9477-yopenalex-snapshot
Limits in the Revision Theory
inferred← citeshttps://doi.org/10.1007/s10992-018-9478-xopenalex-snapshot
Guest Editors’ Introduction
inferred← citeshttps://doi.org/10.1007/s10992-018-9481-2openalex-snapshot
Revision Without Revision Sequences: Circular Definitions
inferred← citeshttps://doi.org/10.1007/s10992-018-9483-0openalex-snapshot
Instability and Contraction
inferred← citeshttps://doi.org/10.1007/s10992-020-09580-7openalex-snapshot
Comparing More Revision and Fixed-Point Theories of Truth
inferred← citeshttps://doi.org/10.1007/s10992-021-09649-xopenalex-snapshot
Designing Paradoxes: A Revision-theoretic Approach
inferred← citeshttps://doi.org/10.1007/s10992-026-09834-wopenalex-snapshot
Absolute Generality and Revision Theory
inferred← citeshttps://doi.org/10.1007/s10992-026-09846-6openalex-snapshot
Symmetry Groups of Boolean Self-referential Systems
inferred← citeshttps://doi.org/10.1007/s11098-004-2497-1openalex-snapshot
The Rationale Behind Revision-Rule Semantics
inferred← citeshttps://doi.org/10.1007/s11098-021-01738-6openalex-snapshot
In what sense is the no-no paradox a paradox?
inferred← citeshttps://doi.org/10.1007/s11225-009-9174-5openalex-snapshot
Jump Liars and Jourdain’s Card via the Relativized T-scheme
inferred← citeshttps://doi.org/10.1007/s11225-014-9581-0openalex-snapshot
Cofinally Invariant Sequences and Revision
inferred← citeshttps://doi.org/10.1007/s11225-015-9619-yopenalex-snapshot
Periodicity and Reflexivity in Revision Sequences
inferred← citeshttps://doi.org/10.1007/s11225-017-9715-2openalex-snapshot
Boolean Paradoxes and Revision Periods
inferred← citeshttps://doi.org/10.1007/s11225-019-09878-xopenalex-snapshot
Herzberger’s Limit Rule with Labelled Sequent Calculus
inferred← citeshttps://doi.org/10.1007/s11225-023-10060-7openalex-snapshot
The Elimination of Direct Self-reference
inferred← citeshttps://doi.org/10.1007/s11229-012-0173-0openalex-snapshot
Variations on a Montagovian theme
inferred← citeshttps://doi.org/10.1007/s11229-016-1191-0openalex-snapshot
Self-referential propositions
inferred← citeshttps://doi.org/10.1007/s11229-023-04244-wopenalex-snapshot
Necessity predicate versus truth predicate from the perspective of paradox
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50010-7openalex-snapshot
A First Order Theory of Planning, Knowledge, and Action
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50012-0openalex-snapshot
THE KNOWER'S PARADOX AND REPRESENTATIONAL THEORIES OF ATTITUDES
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80050-9openalex-snapshot
Russellian propositions
inferred← citeshttps://doi.org/10.1016/s1874-5075(03)80003-7openalex-snapshot
The Practical Logic of Cognitive Systems
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70020-2openalex-snapshot
Paradoxes, Self-Reference and Truth in the 20th Century
inferred← citeshttps://doi.org/10.1017/bsl.2017.37openalex-snapshot
A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES
inferred← citeshttps://doi.org/10.1017/cbo9781107338579.015openalex-snapshot
Transfinite machine models
inferred← citeshttps://doi.org/10.1017/s1755020308080118openalex-snapshot
ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH
inferred← citeshttps://doi.org/10.1017/s1755020308080167openalex-snapshot
ON THE PROBABILISTIC CONVENTION T
inferred← citeshttps://doi.org/10.1017/s1755020311000049openalex-snapshot
TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX
inferred← citeshttps://doi.org/10.1017/s1755020313000269openalex-snapshot
NOTES ON ω -INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES
inferred← citeshttps://doi.org/10.1017/s1755020313000361openalex-snapshot
SOME OBSERVATIONS ON TRUTH HIERARCHIES
inferred← citeshttps://doi.org/10.1017/s1755020314000379openalex-snapshot
AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
inferred← citeshttps://doi.org/10.1017/s1755020314000434openalex-snapshot
SUPERVALUATION ON TREES FOR KRIPKE’S THEORY OF TRUTH
inferred← citeshttps://doi.org/10.1017/s1755020314000458openalex-snapshot
SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
inferred← citeshttps://doi.org/10.1017/s1755020319000078openalex-snapshot
A UNIFIED THEORY OF TRUTH AND PARADOX
inferred← citeshttps://doi.org/10.1017/s1755020321000241openalex-snapshot
THE COPERNICAN MULTIVERSE OF SETS
inferred← citeshttps://doi.org/10.1017/s175502032400025xopenalex-snapshot
A GENUINELY UNTYPED EXPLANATION OF COMMON BELIEF AND KNOWLEDGE
inferred← citeshttps://doi.org/10.1017/s1755020326101178openalex-snapshot
KRIPKE’S FIXED POINTS AND LEITGEB’S SEMANTIC DEPENDENCE
inferred← citeshttps://doi.org/10.1023/a:1004399631475openalex-snapshot
What the Liar Taught Achilles
inferred← citeshttps://doi.org/10.1023/a:1008211103003openalex-snapshot
Communication across Viewpoints
inferred← citeshttps://doi.org/10.1023/a:1008390129138openalex-snapshot
The Objective Conception of Context and Its Logic
inferred← citeshttps://doi.org/10.1023/a:1011946004905openalex-snapshot
Set-Theoretic Absoluteness and the Revision Theory of Truth
inferred← citeshttps://doi.org/10.1023/a:1012770331158openalex-snapshot
Recent Truth Theories: A Case Study
inferred← citeshttps://doi.org/10.1023/a:1023080715357openalex-snapshot
Possible-Worlds Semantics for Modal Notions Conceived as Predicates
inferred← citeshttps://doi.org/10.1080/00048402.2018.1476980openalex-snapshot
Truth and Generalized Quantification
inferred← citeshttps://doi.org/10.1080/00048402.2024.2403096openalex-snapshot
Logics of Truth and Maximality
inferred← citeshttps://doi.org/10.1093/9780197786918.003.0004openalex-snapshot
Truth, Phenomena, and Reality
inferred← citeshttps://doi.org/10.1093/9780197786918.003.0005openalex-snapshot
Supplement on the Revision Theory
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.001.0001openalex-snapshot
In Contradiction
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0007openalex-snapshot
Preface of First Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0008openalex-snapshot
Preface of Second Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0001openalex-snapshot
Dialetheism
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0002openalex-snapshot
Semantic Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0003openalex-snapshot
Set Theoretic Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0004openalex-snapshot
Gödel's Theorem
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0005openalex-snapshot
Truth and Falsity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0006openalex-snapshot
Dialetheic Semantics for Extensional Connectives
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0009openalex-snapshot
The Disjunctive Syllogism and Quasi-Validity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0010openalex-snapshot
Semantic Closure and the Philosophy of Language
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0011openalex-snapshot
Set Theory and The Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0012openalex-snapshot
The Metaphysics of Change I: The Instant of Change
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0013openalex-snapshot
The Metaphysics of Change II: Motion
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0014openalex-snapshot
Norms and the Philosophy of Law
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0015openalex-snapshot
The Transconsistent
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0016openalex-snapshot
The Metaphysics of Change III: Time
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0017openalex-snapshot
Minimally InconsistentLP
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0018openalex-snapshot
Inconsistent Arithmetic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0019openalex-snapshot
Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0020openalex-snapshot
Autocommentary on the First Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0021openalex-snapshot
Comments on Some Critics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.001.0001openalex-snapshot
The Yablo Paradox: An Essay on Circularity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.003.0001openalex-snapshot
Introduction: Why Should We Care?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.003.0002openalex-snapshot
Origins and Mathematics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.003.0003openalex-snapshot
The Yablo Paradox and Circularity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.003.0004openalex-snapshot
Generalizing the Yablo Paradox
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199669608.003.0005openalex-snapshot
The Curry Generalization
inferred← citeshttps://doi.org/10.1093/jigpal/11.2.247openalex-snapshot
Reasoning about Knowledge and Belief: A Syntactical Treatment
inferred← citeshttps://doi.org/10.1093/jigpal/9.1.83openalex-snapshot
Theorem proving for untyped constructive -calculus: implementation and application
inferred← citeshttps://doi.org/10.1093/jigpal/jzad016openalex-snapshot
The fixed points of belief and knowledge
inferred← citeshttps://doi.org/10.1093/jigpal/jzt020openalex-snapshot
Tarski's theorem and liar-like paradoxes
inferred← citeshttps://doi.org/10.1093/logcom/11.1.25openalex-snapshot
Revision Sequences and Computers with an Infinite Amount of Time
inferred← citeshttps://doi.org/10.1093/logcom/exaa022openalex-snapshot
Elementary cellular automata and self-referential paradoxes
inferred← citeshttps://doi.org/10.1093/logcom/exab009openalex-snapshot
Solovay functions and paradoxes
inferred← citeshttps://doi.org/10.1093/oso/9780199233915.003.0003openalex-snapshot
The Liar Paradox, Expressibility, Possible Languages
inferred← citeshttps://doi.org/10.1093/oso/9780199896042.003.0004openalex-snapshot
Gestalt Shifts in the Liar orWhy KT4M Is the Logic of Semantic Modalities
inferred← citeshttps://doi.org/10.1109/91.251925openalex-snapshot
Self-reference and chaos in fuzzy logic
inferred← citeshttps://doi.org/10.1111/j.1747-9991.2007.00070.xopenalex-snapshot
What Theories of Truth Should be Like (but Cannot be)
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1991.tb00539.xopenalex-snapshot
Denotation and description in free logic*
inferred← citeshttps://doi.org/10.1145/1778765.1778863openalex-snapshot
Parametric reshaping of human bodies in images
inferred← citeshttps://doi.org/10.1215/00294527-1731407openalex-snapshot
A New Conditional for Naive Truth Theory
inferred← citeshttps://doi.org/10.12775/llp.2012.016openalex-snapshot
Librationist closures of the paradoxes
inferred← citeshttps://doi.org/10.1305/ndjfl/1040511340openalex-snapshot
A System of Complete and Consistent Truth
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635839openalex-snapshot
Type-free property theory, exemplification and Russell's paradox.
inferred← citeshttps://doi.org/10.1305/ndjfl/1094061861openalex-snapshot
A revision-theoretic analysis of the arithmetical hierarchy.
inferred← citeshttps://doi.org/10.2178/jsl/1305810756openalex-snapshot
Weak systems of determinacy and arithmetical quasi-inductive definitions
inferred← citeshttps://doi.org/10.2307/1523021openalex-snapshot
Definition and Revision: A Response to McGee and Martin
inferred← citeshttps://doi.org/10.2307/2214130openalex-snapshot
Hop, Skip and Jump: The Agonistic Conception of Truth
inferred← citeshttps://doi.org/10.2307/2215637openalex-snapshot
Pattern and Chaos: New Images in the Semantics of Paradox
inferred← citeshttps://doi.org/10.2307/2274046openalex-snapshot
Meeting of the Association for Symbolic Logic, Stanford, California, 1985
inferred← citeshttps://doi.org/10.2307/2275205openalex-snapshot
Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991
inferred← citeshttps://doi.org/10.2307/2275206openalex-snapshot
Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
inferred← citeshttps://doi.org/10.2307/2275927openalex-snapshot
A guide to truth predicates in the modern era
inferred← citeshttps://doi.org/10.2307/2586533openalex-snapshot
Property theory and the revision theory of definitions
inferred← citeshttps://doi.org/10.2307/2687753openalex-snapshot
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
inferred← citeshttps://doi.org/10.2307/420955openalex-snapshot
Construction of Truth Predicates: Approximation Versus Revision
inferred← citeshttps://doi.org/10.25911/5d78dcbebe66copenalex-snapshot
The Liar Paradox: A Consistent and Semantically Closed Solution
showing the first 200 of 210 · page through all 210
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.