On the public citation graph

Game logic and its applications I

0 signed · 77 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-4613-1139-3_14openalex-snapshot

The Epistemic Structure of a Theory of a Game

inferredcites →https://doi.org/10.1007/978-1-4615-7288-6openalex-snapshot

Introduction to Mathematical Logic

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

A theory of rational decision in games

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

A model existence theorem in infinitary propositional modal logic

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

The epistemic structure of a theory of a game

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

On the logic of common belief and common knowledge

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

Untersuchungen �ber das logische Schlie�en. I

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

On disjunctions and existential statements in intuitionistic systems of logic

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

Zur Theorie der Gesellschaftsspiele

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

On equilibria in finite games

inferredcites →https://doi.org/10.1016/0004-3702(92)90049-4openalex-snapshot

A guide to completeness and complexity for modal logics of knowledge and belief

inferredcites →https://doi.org/10.1016/0165-4896(91)90024-lopenalex-snapshot

Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities

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

Decidable Theories

inferredcites →https://doi.org/10.1016/s0049-237x(08)x7034-xopenalex-snapshot

Model Theory For Infinitary Logic

inferredcites →https://doi.org/10.1016/s0304-4068(96)00776-8openalex-snapshot

A necessary and sufficient epistemic condition for playing backward induction

inferredcites →https://doi.org/10.1016/s0899-8256(05)80015-6openalex-snapshot

Backward induction and common knowledge of rationality

inferredcites →https://doi.org/10.1017/cbo9780511528231.007openalex-snapshot

Non-cooperative games

inferredcites →https://doi.org/10.1090/mbk/121/32openalex-snapshot

Theory of games and economic behavior

inferredcites →https://doi.org/10.1137/0112033openalex-snapshot

Equilibrium Points of Bimatrix Games

inferredcites →https://doi.org/10.1201/b13782-17openalex-snapshot

An Introduction to Mathematical Logic

inferredcites →https://doi.org/10.1201/b18653-3openalex-snapshot

Games and Decisions

inferredcites →https://doi.org/10.18910/5618openalex-snapshot

Gentzen method in modal calculi. II

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

An Axiomatic Approach to Measurable Utility

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

Non-Cooperative Games

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

Languages with Expressions of Infinite Length.

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

Number Systems and the Foundations of Analysis.

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

Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-40006-0_23openalex-snapshot

Monodic Epistemic Predicate Logic

inferred← citeshttps://doi.org/10.1007/978-1-4613-1139-3_3openalex-snapshot

Axiomatic Indefinability of Common Knowledge in Finitary Logics

inferred← citeshttps://doi.org/10.1007/978-3-319-13560-1_58openalex-snapshot

GDL Meets ATL: A Logic for Game Description and Strategic Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-319-62864-6_21openalex-snapshot

Beyond Knowing That: A New Generation of Epistemic Logics

inferred← citeshttps://doi.org/10.1007/978-3-642-02734-5_5openalex-snapshot

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_10openalex-snapshot

A Measure of Logical Inference and Its Game Theoretical Applications

inferred← citeshttps://doi.org/10.1007/978-3-662-05219-8_22openalex-snapshot

Computability of Nash Equilibrium

inferred← citeshttps://doi.org/10.1007/s00199-012-0707-1openalex-snapshot

Semantics for intuitionistic epistemic logics of shallow depths for game theory

inferred← citeshttps://doi.org/10.1007/s00199-012-0735-xopenalex-snapshot

Evaluations of epistemic components for resolving the muddy children puzzle

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

Common knowledge and quantification

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

Epistemic logics and their game theoretic applications: Introduction

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

Bounded interpersonal inferences and decision making

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

A note on the wise girls puzzle

inferred← citeshttps://doi.org/10.1007/s11245-008-9030-7openalex-snapshot

Common Knowledge and Convention

inferred← citeshttps://doi.org/10.1007/s11704-016-5100-yopenalex-snapshot

Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems

inferred← citeshttps://doi.org/10.1016/j.apal.2004.10.004openalex-snapshot

About cut elimination for logics of common knowledge

inferred← citeshttps://doi.org/10.1016/j.artint.2009.02.003openalex-snapshot

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

inferred← citeshttps://doi.org/10.1016/j.biosystems.2004.11.010openalex-snapshot

A new formalization of a meta-game using the lambda calculus

inferred← citeshttps://doi.org/10.1016/j.geb.2018.04.006openalex-snapshot

Rationalizability and logical inference

inferred← citeshttps://doi.org/10.1016/s0165-4896(99)00010-4openalex-snapshot

Epistemic considerations of decision making in games

inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80028-2openalex-snapshot

Epistemic logic

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

Algebras and General Frames

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

Extended Modal Logic

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

A Logical Toolkit

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

An Algebraic Toolkit

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

A Computational Toolkit

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

Embedding theorems for LTL and its variants

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

SMALL INFINITARY EPISTEMIC LOGICS

inferred← citeshttps://doi.org/10.1023/a:1004942613175openalex-snapshot

Bounds to Memory Loss

inferred← citeshttps://doi.org/10.1023/a:1004975724824openalex-snapshot

Game Logic and its Applications II

inferred← citeshttps://doi.org/10.1023/a:1005271815356openalex-snapshot

First Order Common Knowledge Logics

inferred← citeshttps://doi.org/10.1023/a:1010573427578openalex-snapshot

Model Existence in Non-Compact Modal Logic

inferred← citeshttps://doi.org/10.1023/a:1016387008323openalex-snapshot

A Map of Common Knowledge Logics

inferred← citeshttps://doi.org/10.1023/a:1023032105687openalex-snapshot

Strong Completeness Theorems for Weak Logics of Common Belief

inferred← citeshttps://doi.org/10.1023/b:amai.0000034523.18162.6bopenalex-snapshot

Representing von Neumann–Morgenstern Games in the Situation Calculus

inferred← citeshttps://doi.org/10.1093/logcom/exx006openalex-snapshot

Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

inferred← citeshttps://doi.org/10.1109/fuzz45933.2021.9494454openalex-snapshot

A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems

inferred← citeshttps://doi.org/10.1111/1097-3923.00005openalex-snapshot

Inductive Game Theory: Discrimination and Prejudices

inferred← citeshttps://doi.org/10.1305/ndjfl/1022615613openalex-snapshot

Kripke Completeness of Infinitary Predicate Multimodal Logics

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

Game Theoretic Decidability and Undecidability

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

Epistemic Infinite-Regress Logic

inferred← citeshttps://doi.org/10.2139/ssrn.7364227openalex-snapshot

Is Level-k Theory Behavioural?

inferred← citeshttps://doi.org/10.2178/jsl/1045861510openalex-snapshot

Epistemic models of shallow depths and decision making in games: Horticulture

inferred← citeshttps://doi.org/10.2307/2586493openalex-snapshot

Common knowledge logic and game logic

inferred← citeshttps://doi.org/10.3366/epi.2011.0023openalex-snapshot

Why the Empty Shells Were Not Fired: A Semi-Bibliographical Note

inferred← citeshttps://doi.org/10.4236/aasoci.2023.1312050openalex-snapshot

Nash Social Welfare, Logic, and Inductive Game Theory: An Application on the Russian Invasion of Ukraine

inferred← citeshttps://doi.org/10.4288/kisoron1954.26.31openalex-snapshot

inferred← citeshttps://doi.org/10.48550/arxiv.1906.03452openalex-snapshot

Algebra of Concurrent Games

inferred← citeshttps://doi.org/10.48550/arxiv.1907.02668openalex-snapshot

Operational Semantics of Games

inferred← citeshttps://doi.org/10.48550/arxiv.1907.02860openalex-snapshot

Truly Concurrent Bisimilarities are Game Equivalent

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.