On the public citation graph
Four valued semantics and the Liar
0 signed · 130 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/978-94-010-1161-7openalex-snapshot
Modern Uses of Multiple-Valued Logic
inferredcites →https://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot
A Useful Four-Valued Logic
inferredcites →https://doi.org/10.1007/bf00302340openalex-snapshot
Gupta's rule of revision theory of truth
inferredcites →https://doi.org/10.1007/bf00302341openalex-snapshot
Grounding, dependence, and paradox
inferredcites →https://doi.org/10.1007/bf00373152openalex-snapshot
Intuitive semantics for first-degree entailments and ?coupled trees?
inferredcites →https://doi.org/10.1007/bf00453022openalex-snapshot
Paradox, truth and logic part I: Paradox and truth
inferredcites →https://doi.org/10.1016/0304-3975(78)90033-6openalex-snapshot
The convergence of functions to fixedpoints of recursive definitions
inferredcites →https://doi.org/10.1016/s0049-237x(08)71123-6openalex-snapshot
The Incompleteness Theorems
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7092-2openalex-snapshot
Elementary Induction on Abstract Structures
inferredcites →https://doi.org/10.1137/0205033openalex-snapshot
The Theoretical Aspects of the Optimal Fixedpoint
inferredcites →https://doi.org/10.1305/ndjfl/1093870147openalex-snapshot
A relational representation of quasi-Boolean algebras.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19890350202openalex-snapshot
Notes on Formal Theories of Truth
inferred← citeshttps://doi.org/10.1007/3-540-18625-5_59openalex-snapshot
Paraconsistent logic programming
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_80openalex-snapshot
Automatic theorem proving in paraconsistent logics: Theory and implementation
inferred← citeshttps://doi.org/10.1007/3-540-63475-4_1openalex-snapshot
Symbolic trajectory evaluation
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_7openalex-snapshot
Modal, Fuzzy, ..., Vanilla Fixpoint Theories of Truth: A Uniform Approach
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-319-19722-7_3openalex-snapshot
Paraconsistent Annotated Logic Program EVALPSN and Its Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-32168-4_11openalex-snapshot
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control
inferred← citeshttps://doi.org/10.1007/978-3-319-40418-9_7openalex-snapshot
Programming with Annotated Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-59153-7_39openalex-snapshot
Selecting the Coherence Notion in Multi-adjoint Normal Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-99247-1_9openalex-snapshot
Another Useful Four-Valued Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-01533-5_4openalex-snapshot
Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application
inferred← citeshttps://doi.org/10.1007/978-3-642-45324-3_16openalex-snapshot
A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective
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-017-0466-3_3openalex-snapshot
Semantics and the Liar Paradox
inferred← citeshttps://doi.org/10.1007/bf00274066openalex-snapshot
Bilattices and the theory of truth
inferred← citeshttps://doi.org/10.1007/bf00353657openalex-snapshot
Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
inferred← citeshttps://doi.org/10.1007/s10992-009-9107-9openalex-snapshot
Comparing Fixed-Point and Revision Theories of Truth
inferred← citeshttps://doi.org/10.1007/s10992-014-9341-7openalex-snapshot
Contextual-Hierarchical Reconstructions of the Strengthened Liar Problem
inferred← citeshttps://doi.org/10.1007/s10992-015-9353-yopenalex-snapshot
One Hundred Years of Semantic Paradox
inferred← citeshttps://doi.org/10.1007/s10992-015-9393-3openalex-snapshot
Conditionals in Theories of Truth
inferred← citeshttps://doi.org/10.1007/s10992-018-9467-0openalex-snapshot
HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
inferred← citeshttps://doi.org/10.1007/s10992-018-9478-xopenalex-snapshot
Guest Editors’ Introduction
inferred← citeshttps://doi.org/10.1007/s11098-024-02151-5openalex-snapshot
Saving logic from paradox via nonclassical recapture
inferred← citeshttps://doi.org/10.1007/s11225-017-9721-4openalex-snapshot
Four-Valued Paradefinite Logics
inferred← citeshttps://doi.org/10.1007/s11225-017-9735-yopenalex-snapshot
Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K}$$
inferred← citeshttps://doi.org/10.1007/s11225-017-9782-4openalex-snapshot
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations
inferred← citeshttps://doi.org/10.1007/s11225-021-09957-yopenalex-snapshot
On Inclusions Between Quantified Provability Logics
inferred← citeshttps://doi.org/10.1007/s11229-017-1612-8openalex-snapshot
Theories of truth and the maxim of minimal mutilation
inferred← citeshttps://doi.org/10.1007/s11787-021-00277-2openalex-snapshot
Mathematical Perspectives on Liar Paradoxes
inferred← citeshttps://doi.org/10.1016/0304-3975(89)90126-6openalex-snapshot
Paraconsistent logic programming
inferred← citeshttps://doi.org/10.1016/0743-1066(91)90014-gopenalex-snapshot
Bilattices and the semantics of logic programming
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50018-1openalex-snapshot
PARADOXES AND SEMANTIC REPRESENTATION
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.2020.44openalex-snapshot
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
inferred← citeshttps://doi.org/10.1017/jsl.2018.27openalex-snapshot
PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
inferred← citeshttps://doi.org/10.1017/s1755020319000078openalex-snapshot
A UNIFIED THEORY OF TRUTH AND PARADOX
inferred← citeshttps://doi.org/10.1017/s1755020321000137openalex-snapshot
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
inferred← citeshttps://doi.org/10.1023/a:1004217812355openalex-snapshot
A Theory of Truth that Prefers Falsehood
inferred← citeshttps://doi.org/10.1080/11663081.1999.10510967openalex-snapshot
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
inferred← citeshttps://doi.org/10.1080/24740500.2021.1886687openalex-snapshot
Properties, Propositions and Conditionals
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/9780199230747.001.0001openalex-snapshot
Saving Truth From Paradox
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0002openalex-snapshot
Self‐Reference and Tarski's Theorem
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0003openalex-snapshot
Validity and the Unprovability of Soundness
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0004openalex-snapshot
Kripke's Theory of Truth (Strong Kleene Version)
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0005openalex-snapshot
Adding a Conditional? Curry and Lukasiewicz
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0006openalex-snapshot
Interlude on Vagueness, and the Paradoxes of König and Berry
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0007openalex-snapshot
Introduction to the Broadly Classical Options
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0008openalex-snapshot
Truth‐Value Gaps in Classical Theories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0009openalex-snapshot
Truth‐Value Gluts in Classical Theories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0010openalex-snapshot
A Second Interlude on Vagueness
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0011openalex-snapshot
Introduction to Supervaluational Approaches to Paradox
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0012openalex-snapshot
A Survey of Supervaluational and Revision‐Rule Theories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0013openalex-snapshot
Are Supervaluational and Revision Theories Self‐Undermining?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0014openalex-snapshot
Intersubstitutivity and the Purpose of Truth
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0015openalex-snapshot
Stratified and Contextual Theories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0016openalex-snapshot
What Is To Be Done?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0017openalex-snapshot
Fixed Points and Revision Rules for Conditionals
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0018openalex-snapshot
More on Revision‐Theoretic Conditionals
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0019openalex-snapshot
What Has Been Done
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0020openalex-snapshot
Validity, Truth‐Preservation, and the Second Incompleteness Theorem
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0021openalex-snapshot
Other Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0022openalex-snapshot
Do Paracomplete Solutions Depend on Expressive Limitations?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0023openalex-snapshot
Determinateness, Hyper‐Determinateness, and Super‐Determinateness
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0024openalex-snapshot
Determinateness, Stratification, and Revenge
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0025openalex-snapshot
An Introduction to Paraconsistent Dialetheism
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0026openalex-snapshot
Some Dialetheic Theories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0027openalex-snapshot
Paraconsistent Dialetheism and Soundness
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199230747.003.0028openalex-snapshot
Hyper‐Determinacy and Revenge
inferred← citeshttps://doi.org/10.1093/analys/63.4.292openalex-snapshot
Can a many-valued language functionally represent its own semantics?
inferred← citeshttps://doi.org/10.1093/jigpal/jzy057openalex-snapshot
Theories of truth based on four-valued infectious logics
inferred← citeshttps://doi.org/10.1111/j.1475-4975.2008.00171.xopenalex-snapshot
Where the Paths Meet: Remarks on Truth and Paradox*
inferred← citeshttps://doi.org/10.1111/tops.12492openalex-snapshot
Editors’ Review and Introduction: Lying in Logic, Language, and Cognition
inferred← citeshttps://doi.org/10.1215/00294527-3346590openalex-snapshot
From Closure Games to Strong Kleene Truth
inferred← citeshttps://doi.org/10.1305/ndjfl/1022615616openalex-snapshot
On Partial and Paraconsistent Logics
inferred← citeshttps://doi.org/10.1305/ndjfl/1039540773openalex-snapshot
Inconsistency without Contradiction
inferred← citeshttps://doi.org/10.1305/ndjfl/1040248457openalex-snapshot
An Approach to Uncertainty via Sets of Truth Values
inferred← citeshttps://doi.org/10.14288/1.0051407openalex-snapshot
Compositional model checking of partially ordered state spaces
inferred← citeshttps://doi.org/10.1504/ijris.2009.026721openalex-snapshot
The development of paraconsistent annotated logic programs
inferred← citeshttps://doi.org/10.2307/2274965openalex-snapshot
A theory of formal truth arithmetically equivalent to ID1
inferred← citeshttps://doi.org/10.2307/2586552openalex-snapshot
An abstract algebraic logic approach to tetravalent modal logics
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
inferred← citeshttps://doi.org/10.26686/ajl.v14i1.4025openalex-snapshot
There is no Logical Negation: True, False, Both, and Neither
inferred← citeshttps://doi.org/10.26686/ajl.v18i7.6576openalex-snapshot
Fixed-point models for paradoxical predicates
inferred← citeshttps://doi.org/10.3233/fi-1994-201234openalex-snapshot
KLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN
inferred← citeshttps://doi.org/10.36045/bbms/1447856060openalex-snapshot
Normal forms and functional completeness for four-valued languages
inferred← citeshttps://doi.org/10.3765/sp.6.10openalex-snapshot
Experimenting with the king of France: Topics, verifiability and definite descriptions
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.