On the public citation graph

Rectifying the Mischaracterization of Logic by Mental Model Theorists

https://doi.org/10.1111/cogs.12898
0 signed · 59 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4757-2355-7openalex-snapshot
Mathematical Logic
inferredcites →https://doi.org/10.1007/978-3-642-59312-3openalex-snapshot
Elements of Mathematics
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_6openalex-snapshot
Free Logics
inferredcites →https://doi.org/10.1007/978-94-009-6259-0_8openalex-snapshot
Conditional Logic
inferredcites →https://doi.org/10.1007/978-94-009-9065-4openalex-snapshot
Introduction to Montague Semantics
inferredcites →https://doi.org/10.1007/978-94-010-0411-4openalex-snapshot
Types, Tableaus, and Gödel’s God
inferredcites →https://doi.org/10.1007/s10849-014-9206-zopenalex-snapshot
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks
inferredcites →https://doi.org/10.1007/s11229-005-1353-yopenalex-snapshot
A Pragmatic Solution for the Paradox of Free Choice Permission
inferredcites →https://doi.org/10.1007/s11229-011-9914-8openalex-snapshot
A logic road from special relativity to general relativity
inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot
Circumscription—A form of non-monotonic reasoning
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(92)90103-5openalex-snapshot
How to reason defeasibly
inferredcites →https://doi.org/10.1016/0004-3702(96)00007-0openalex-snapshot
Artificial intelligence: A modern approach
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50036-2openalex-snapshot
Circumscription—A Form of Non-Monotonic Reasoning
inferredcites →https://doi.org/10.1016/j.artint.2009.06.002openalex-snapshot
Vivid: A framework for heterogeneous problem solving
inferredcites →https://doi.org/10.1016/j.jal.2008.09.001openalex-snapshot
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
inferredcites →https://doi.org/10.1016/s0004-3702(01)00145-xopenalex-snapshot
Defeasible reasoning with variable degrees of justification
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7039-9openalex-snapshot
The Collected Papers of Gerhard Gentzen
inferredcites →https://doi.org/10.1016/s0898-1221(96)90447-2openalex-snapshot
Diagrammatic reasoning: Cognitive and computational perspectives
inferredcites →https://doi.org/10.1016/s1385-7258(61)50044-3openalex-snapshot
NON-STANDARD ANALYSIS
inferredcites →https://doi.org/10.1017/cbo9780511800962openalex-snapshot
An Introduction to Gödel's Theorems
inferredcites →https://doi.org/10.1017/cbo9780511816772.008openalex-snapshot
Declarative/Logic-Based Cognitive Modeling
inferredcites →https://doi.org/10.1017/cbo9781107326194openalex-snapshot
Pure Inductive Logic
inferredcites →https://doi.org/10.1080/00048401003674482openalex-snapshot
A Computationally-Discovered Simplification of the Ontological Argument
inferredcites →https://doi.org/10.1093/0195126491.001.0001openalex-snapshot
Leibniz: Determinist, Theist, Idealist
inferredcites →https://doi.org/10.1093/oso/9780195104271.003.0014openalex-snapshot
Heterogeneous Logic
inferredcites →https://doi.org/10.1111/cogs.12634openalex-snapshot
Facts and Possibilities: A Model‐Based Theory of Sentential Reasoning
inferredcites →https://doi.org/10.1119/1.1933410openalex-snapshot
Symbolic Logic, An Introduction
inferredcites →https://doi.org/10.1145/321033.321034openalex-snapshot
A Computing Procedure for Quantification Theory
inferredcites →https://doi.org/10.1515/9781438454542-007openalex-snapshot
Education and . . . Big Data versus Big-But-Buried Data
inferredcites →https://doi.org/10.1525/9780520398252openalex-snapshot
A Survey of Symbolic Logic
inferredcites →https://doi.org/10.15496/publikation-72550openalex-snapshot
Proof-Theoretic Semantics
inferredcites →https://doi.org/10.2307/2020641openalex-snapshot
Symbolic Logic; an Introduction.
inferredcites →https://doi.org/10.2307/2025003openalex-snapshot
Formal Philosophy: Selected Papers of Richard Montague
inferredcites →https://doi.org/10.2307/2106794openalex-snapshot
Contemporary Philosophy in Scandinavia.
inferredcites →https://doi.org/10.2307/2185879openalex-snapshot
Foundations without Foundationalism: A Case for Second-Order Logic.
inferredcites →https://doi.org/10.24963/ijcai.2017/658openalex-snapshot
On Automating the Doctrine of Double Effect
inferredcites →https://doi.org/10.3233/978-1-61499-419-0-93openalex-snapshot
Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
inferredcites →https://doi.org/10.5860/choice.187763openalex-snapshot
Stanford Encyclopedia of Philosophy
inferredcites →https://doi.org/10.5860/choice.32-4423openalex-snapshot
Leibniz: determinist, theist, idealist
inferredcites →https://doi.org/10.5860/choice.33-1577openalex-snapshot
Artificial intelligence: a modern approach
inferredcites →https://doi.org/10.5860/choice.35-4860openalex-snapshot
Stanford encyclopedia of philosophy
inferredcites →https://doi.org/10.7551/mitpress/1887.001.0001openalex-snapshot
Cognitive Carpentry
inferredcites →https://doi.org/10.7551/mitpress/7964.001.0001openalex-snapshot
Human Reasoning and Cognitive Science

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-05682-6_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-3-031-19907-3_17openalex-snapshot
PERI.2 Goes to PreSchool and Beyond, in Search of AGI
inferred← citeshttps://doi.org/10.1007/s11023-024-09662-4openalex-snapshot
Models of Possibilities Instead of Logic as the Basis of Human Reasoning
inferred← citeshttps://doi.org/10.1007/s44206-023-00040-8openalex-snapshot
A Partially Synthesized Position on the Automation of Machine Ethics
inferred← citeshttps://doi.org/10.1016/j.cognition.2025.106328openalex-snapshot
Naïve epistemics: A theory of rational and error-prone mental state reasoning
inferred← citeshttps://doi.org/10.1080/13546783.2021.2017346openalex-snapshot
The new paradigm and massive modalization: Commentary on Knauff and Gazzo Castañeda (2023)
inferred← citeshttps://doi.org/10.1080/13546783.2022.2112757openalex-snapshot
Conceptual clarity and empirical testability: Commentary on Knauff and Gazzo Castañeda (2023)
inferred← citeshttps://doi.org/10.1111/cogs.13485openalex-snapshot
Reasoning From Quantified Modal Premises
inferred← citeshttps://doi.org/10.1177/17470218221089331openalex-snapshot
What is required for the truth of a general conditional?
inferred← citeshttps://doi.org/10.13180/icres.2022.18-19.07.009openalex-snapshot
A framework for testimony-infused automated adjudicative dynamic multi-agent reasoning in ethically charged scenarios
inferred← citeshttps://doi.org/10.2478/slgr-2022-0003openalex-snapshot
In Favor of Logical Form
inferred← citeshttps://doi.org/10.31219/osf.io/ume7qopenalex-snapshot
What is required for the truth of a general conditional?
inferred← citeshttps://doi.org/10.3389/frai.2023.1144569openalex-snapshot
Argument-based inductive logics, with coverage of compromised perception
inferred← citeshttps://doi.org/10.3390/h13030082openalex-snapshot
Illusory Arguments by Artificial Agents: Pernicious Legacy of the Sophists
inferred← citeshttps://doi.org/10.3758/s13423-024-02518-zopenalex-snapshot
Reasoning about possibilities: Modal logics, possible worlds, and mental models
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.