On the public citation graph

Propositions as games as types

0 signed · 48 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-4020-4108-2openalex-snapshot

Game-Theoretical Semantics

inferredcites →https://doi.org/10.1007/978-1-4020-4108-2_8openalex-snapshot

Conditionals, Generic Quantifiers, and Other Applications of Subgames

inferredcites →https://doi.org/10.1007/978-94-009-5203-4_8openalex-snapshot

Proof Theory and Meaning

inferredcites →https://doi.org/10.1007/978-94-009-8820-0_1openalex-snapshot

Intuitionistic Logic: A Philosophical Challenge

inferredcites →https://doi.org/10.1007/978-94-010-9614-0_18openalex-snapshot

Mood and Language-Game

inferredcites →https://doi.org/10.1007/978-94-010-9847-2openalex-snapshot

The Game of Language

inferredcites →https://doi.org/10.1007/bf00413809openalex-snapshot

Language games and intuitionism

inferredcites →https://doi.org/10.1007/bf00485030openalex-snapshot

Mood and language-game

inferredcites →https://doi.org/10.1016/s0049-237x(08)70849-8openalex-snapshot

Ideas and Results in Proof Theory

inferredcites →https://doi.org/10.1098/rsta.1984.0073openalex-snapshot

Constructive mathematics and computer programming

inferredcites →https://doi.org/10.1111/j.1468-0149.1979.tb01788.xopenalex-snapshot

TRUTH AND OTHER ENIGMAS

inferredcites →https://doi.org/10.1111/j.1746-8361.1958.tb01464.xopenalex-snapshot

Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes

inferredcites →https://doi.org/10.1111/j.1755-2567.1977.tb00776.xopenalex-snapshot

Meaning and proofs: on the conflict between classical and intuitionistic logic

inferredcites →https://doi.org/10.1163/18756735-90000383openalex-snapshot

Jaakko HINTIKKA and Jack KULAS: Anaphora and Definite Descriptions. Two Applications of Game-Theoretical Semantics. Dordrecht/Boston/Lancaster: D. Reidel 1985 (Synthese Language Library 26), XIV + 250.

inferredcites →https://doi.org/10.2307/414091openalex-snapshot

Frege : Philosophy of language. By Michael Dummett. 2nd ed. Cambridge, MA: Harvard University Press, 1981. Pp. xliii, 708.

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781118882139.ch11openalex-snapshot

Constructive Type Theory

inferred← citeshttps://doi.org/10.1007/1-4020-3167-x_17openalex-snapshot

On How to Be a Dialogician

inferred← citeshttps://doi.org/10.1007/978-1-4020-9374-6_8openalex-snapshot

From Games to Dialogues and Back

inferred← citeshttps://doi.org/10.1007/978-3-030-21313-8_2openalex-snapshot

Dialogues, Reasons and Endorsement

inferred← citeshttps://doi.org/10.1007/978-3-030-22382-3_2openalex-snapshot

Qiyās al-ʿIlla: al-Shīrāzī’s System of Correlational Inferences of the Occasioning Factor

inferred← citeshttps://doi.org/10.1007/978-3-030-22382-3_4openalex-snapshot

Dialogues, Reasons and Endorsement

inferred← citeshttps://doi.org/10.1007/978-3-030-91676-3_2openalex-snapshot

Dialectical System of Qiyās al-ʿilla

inferred← citeshttps://doi.org/10.1007/978-3-031-52411-0_5openalex-snapshot

Dialogical Logic and Constructive Type Theory: New Explorations

inferred← citeshttps://doi.org/10.1007/978-3-319-16021-4_7openalex-snapshot

On Hypothetical Judgements and Leibniz’s Notion of Conditional Right

inferred← citeshttps://doi.org/10.1007/978-3-319-19063-1openalex-snapshot

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

inferred← citeshttps://doi.org/10.1007/978-3-319-26506-3_3openalex-snapshot

Knowledge and Its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory

inferred← citeshttps://doi.org/10.1007/978-3-319-47205-8_4openalex-snapshot

Dialogue and Refutation

inferred← citeshttps://doi.org/10.1007/978-3-319-91149-6openalex-snapshot

Immanent Reasoning or Equality in Action

inferred← citeshttps://doi.org/10.1007/978-3-319-91149-6_6openalex-snapshot

Local Reasons and Dialogues for Immanent Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-319-93733-5_10openalex-snapshot

The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting

inferred← citeshttps://doi.org/10.1007/978-3-642-19211-1_6openalex-snapshot

On Some Logic Games in Their Philosophical Context

inferred← citeshttps://doi.org/10.1007/978-3-662-48561-3_2openalex-snapshot

Game Theoretical Semantics for Paraconsistent Logics

inferred← citeshttps://doi.org/10.1007/978-94-007-1923-1_8openalex-snapshot

Game Semantics and the Manifestation Thesis

inferred← citeshttps://doi.org/10.1007/bf00627403openalex-snapshot

Intuitionistic categorial grammar

inferred← citeshttps://doi.org/10.1007/bfb0052155openalex-snapshot

Vagueness and type theory

inferred← citeshttps://doi.org/10.1017/9781009285322openalex-snapshot

Types and the Structure of Meaning

inferred← citeshttps://doi.org/10.1017/s0957423917000091openalex-snapshot

UNFOLDING PARALLEL REASONING IN ISLAMIC JURISPRUDENCE

inferred← citeshttps://doi.org/10.1080/11663081.2016.1225488openalex-snapshot

Game theoretical semantics for some non-classical logics

inferred← citeshttps://doi.org/10.13140/rg.2.1.2680.7761openalex-snapshot

Talking about Someone’s Objects of Belief Dialogical Language Games, Epistemic Acquisition and Intentional Identity

inferred← citeshttps://doi.org/10.1387/theoria.13949openalex-snapshot

Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos

inferred← citeshttps://doi.org/10.22201/iifs.18704905e.2017.199openalex-snapshot

Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos

inferred← citeshttps://doi.org/10.22370/rhv.2013.2.80openalex-snapshot

On Dialogues, Predication and Elementary sentences

inferred← citeshttps://doi.org/10.3115/976744.976761openalex-snapshot

The donkey strikes back

inferred← citeshttps://doi.org/10.33415/daad.1697373openalex-snapshot

Modal Önermelerin Yapıcı Tip Kuramı Temelli İnşası: Kâtibî’nin Şemsiyye’si Örneği

inferred← citeshttps://doi.org/10.4000/msh.2947openalex-snapshot

Fins et moyens. La théorie constructive des types considérée comme guide pour former des modèles en théorie de l'esprit et de l'action

inferred← citeshttps://doi.org/10.4148/1944-3676.1077openalex-snapshot

Constructive Type Theory and the Dialogical Approach to Meaning

inferred← citeshttps://doi.org/10.70675/38861a7fzeb76z4c79z9f6fzce7553da456fopenalex-snapshot

Des Dialogues aux fondements des Mathématiques Constructives : pour une perspective dynamique sur la notion de démonstration dans la Théorie Constructive des Types

inferred← citeshttps://doi.org/10.70675/75b6d349z55eaz476bzac64zbd930ed7eb61openalex-snapshot

Arsyad al-Banjari's approaches to rationality : argumentation and sharia

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.