On the public citation graph

Dynamic Epistemic Logic I: Modeling Knowledge and Belief

https://doi.org/10.1111/phc3.12059

0 signed · 91 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.1002/malq.19960420126openalex-snapshot

On the Logic of Common Belief

inferredcites →https://doi.org/10.1006/game.1999.0788openalex-snapshot

Probability Logic for Type Spaces

inferredcites →https://doi.org/10.1006/jeth.2001.2942openalex-snapshot

Strong Belief and Forward Induction Reasoning

inferredcites →https://doi.org/10.1006/reec.1999.0187openalex-snapshot

Recent results on belief, knowledge and the epistemic foundations of game theory

inferredcites →https://doi.org/10.1007/978-1-4613-1139-3_15openalex-snapshot

On the Evaluation of Solution Concepts

inferredcites →https://doi.org/10.1007/978-3-319-20451-2_30openalex-snapshot

On Logics of Knowledge and Belief

inferredcites →https://doi.org/10.1007/978-3-319-20451-2_37openalex-snapshot

Three Views of Common Knowledge

inferredcites →https://doi.org/10.1007/978-3-540-40981-6_11openalex-snapshot

Modeling Adversaries in a Logic for Security Protocol Analysis

inferredcites →https://doi.org/10.1007/978-94-007-1344-4openalex-snapshot

Reasoning about Preference Dynamics

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

Security analysis of (un-) fair non-repudiation protocols

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

Two modellings for theory change

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

Should knowledge entail belief?

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

The problem of logical omniscience, I

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

On the evaluation of solution concepts

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

On the logic of common belief and common knowledge

inferredcites →https://doi.org/10.1007/s00182-006-0061-2openalex-snapshot

The power of paradox: some recent developments in interactive epistemology

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

Interactive epistemology I: Knowledge

inferredcites →https://doi.org/10.1007/s10773-010-0411-5openalex-snapshot

Correlated Knowledge: an Epistemic-Logic View on Quantum Entanglement

inferredcites →https://doi.org/10.1007/s10992-008-9087-1openalex-snapshot

Inexact Knowledge with Introspection

inferredcites →https://doi.org/10.1007/s11098-005-4052-0openalex-snapshot

Epistemic Logic and Epistemology: The State of their Affairs

inferredcites →https://doi.org/10.1007/s11098-005-4062-yopenalex-snapshot

On Logics of Knowledge and Belief

inferredcites →https://doi.org/10.1007/s11225-006-8301-9openalex-snapshot

Modal Frame Correspondences and Fixed-Points

inferredcites →https://doi.org/10.1007/s11229-005-1349-7openalex-snapshot

Prolegomena to Dynamic Logic for Belief Revision

inferredcites →https://doi.org/10.1007/s11229-012-0191-yopenalex-snapshot

Substantive assumptions in interaction: a logical perspective

inferredcites →https://doi.org/10.1007/s11245-006-9003-7openalex-snapshot

Beliefs in conditionals vs. conditional beliefs

inferredcites →https://doi.org/10.1016/0165-4896(94)90005-1openalex-snapshot

Reasoning about knowledge

inferredcites →https://doi.org/10.1016/0890-5401(90)90060-uopenalex-snapshot

A logic for reasoning about probabilities

inferredcites →https://doi.org/10.1016/0899-8256(89)90017-1openalex-snapshot

Approximating common knowledge with common beliefs

inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50134-2openalex-snapshot

Knowledge, Certainty, Belief, and Conditionalisation (abbreviated version)

inferredcites →https://doi.org/10.1016/j.apal.2013.06.015openalex-snapshot

Reducing belief simpliciter to degrees of belief

inferredcites →https://doi.org/10.1016/j.artint.2010.04.009openalex-snapshot

Dealing with logical omniscience: Expressiveness and pragmatics

inferredcites →https://doi.org/10.1016/j.entcs.2006.05.034openalex-snapshot

Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

inferredcites →https://doi.org/10.1016/j.geb.2003.10.006openalex-snapshot

Dynamic interactive epistemology

inferredcites →https://doi.org/10.1016/j.ijar.2012.01.002openalex-snapshot

Belief and probability: A general theory of probability cores

inferredcites →https://doi.org/10.1017/cbo9780511569852openalex-snapshot

Epistemic Logic for AI and Computer Science

inferredcites →https://doi.org/10.1017/cbo9780511974533openalex-snapshot

Logical Dynamics of Information and Interaction

inferredcites →https://doi.org/10.1017/s0266267103001123openalex-snapshot

COMMON KNOWLEDGE, SALIENCE AND CONVENTION: A RECONSTRUCTION OF DAVID LEWIS' GAME THEORY

inferredcites →https://doi.org/10.1023/a:1020391420768openalex-snapshot

Social Software

inferredcites →https://doi.org/10.1023/a:1023032105687openalex-snapshot

Strong Completeness Theorems for Weak Logics of Common Belief

inferredcites →https://doi.org/10.1023/a:1025007018583openalex-snapshot

A Knowledge Based Semantics of Messages

inferredcites →https://doi.org/10.1023/a:1026185103185openalex-snapshot

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

inferredcites →https://doi.org/10.1080/00048409612347521openalex-snapshot

Elusive knowledge

inferredcites →https://doi.org/10.1080/10848770.2013.838043openalex-snapshot

The Bounds of Reason: Game Theory and the Unification of the Behavioral Sciences

inferredcites →https://doi.org/10.1093/0195130057.001.0001openalex-snapshot

The Oxford Handbook of Epistemology

inferredcites →https://doi.org/10.1093/019925656x.001.0001openalex-snapshot

Knowledge and its Limits

inferredcites →https://doi.org/10.1093/logcom/3.2.173openalex-snapshot

Systems for Knowledge and Belief

inferredcites →https://doi.org/10.1093/logcom/exn092openalex-snapshot

Deduction Systems for Coalgebras Over Measurable Spaces

inferredcites →https://doi.org/10.1093/logcom/exp031openalex-snapshot

A Complete Deductive System for Probability Logic

inferredcites →https://doi.org/10.1093/mind/108.430.241openalex-snapshot

The preface, the lottery, and the logic of belief

inferredcites →https://doi.org/10.1093/oxfordhb/9780195301700.003.0020openalex-snapshot

Formal Problems About Knowledge

inferredcites →https://doi.org/10.1111/j.1468-0149.1963.tb00788.xopenalex-snapshot

KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions

inferredcites →https://doi.org/10.1145/174652.174658openalex-snapshot

Reasoning about knowledge and probability

inferredcites →https://doi.org/10.1145/544220.544327openalex-snapshot

Stanford encyclopedia of philosophy

inferredcites →https://doi.org/10.1145/79147.79161openalex-snapshot

Knowledge and common knowledge in a distributed environment

inferredcites →https://doi.org/10.1163/_afco_asc_2253openalex-snapshot

Cornell University Press

inferredcites →https://doi.org/10.1214/aos/1176343654openalex-snapshot

Agreeing to Disagree

inferredcites →https://doi.org/10.1215/00294527-2010-003openalex-snapshot

On the Ramsey Test without Triviality

inferredcites →https://doi.org/10.1257/0022051041409057openalex-snapshot

Modeling Knowledge in Economic Analysis

inferredcites →https://doi.org/10.1305/ndjfl/1093883341openalex-snapshot

Quick completeness proofs for some logics of conditionals.

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

Situations and Attitudes.

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

Situations and Attitudes

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

On the logic of theory change: Partial meet contraction and revision functions

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

Probability and Measure.

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

Probability and Measure.

inferredcites →https://doi.org/10.3166/jancl.17.129-155openalex-snapshot

Dynamic logic for belief revision

inferredcites →https://doi.org/10.3166/jancl.17.255-273openalex-snapshot

Distributed knowledge

inferredcites →https://doi.org/10.3233/fi-1994-21121openalex-snapshot

WHAT IS A NONMONOTONIC CONSEQUENCE RELATION?

inferredcites →https://doi.org/10.5860/choice.35-4860openalex-snapshot

Stanford encyclopedia of philosophy

inferredcites →https://doi.org/10.5860/choice.46-5662openalex-snapshot

Multiagent systems: algorithmic, game-theoretic, and logical foundations

inferredcites →https://doi.org/10.7551/mitpress/10951.001.0001openalex-snapshot

Reasoning about Uncertainty

What points at this work

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

inferred← citeshttps://doi.org/10.1002/int.21652openalex-snapshot

A Fuzzy Dynamic Belief Logic System

inferred← citeshttps://doi.org/10.1007/978-3-030-65840-3_14openalex-snapshot

Public Announcement Logic in HOL

inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_12openalex-snapshot

A Proof-Theoretic Approach to Formal Epistemology

inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_47openalex-snapshot

A Modal Logic of Knowledge, Belief, and Estimation

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

Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-67149-9openalex-snapshot

Neighborhood Semantics for Modal Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-77434-3_17openalex-snapshot

Epistemic Logic and Epistemology

inferred← citeshttps://doi.org/10.1007/978-3-662-48540-8_1openalex-snapshot

Dynamic Models of Rational Deliberation in Games

inferred← citeshttps://doi.org/10.1007/s10849-022-09351-4openalex-snapshot

Public Announcements, Public Lies and Recoveries

inferred← citeshttps://doi.org/10.1007/s10992-015-9356-8openalex-snapshot

On the use (and abuse) of Logic in Game Theory

inferred← citeshttps://doi.org/10.1016/j.asr.2023.03.031openalex-snapshot

Prioritizing sub-watersheds based on soil-erosion potential by integrating RUSLE and game-theory algorithms

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

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

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

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy

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

A modal logic of knowledge, belief and estimation

inferred← citeshttps://doi.org/10.21869/2223-1560-2024-28-1-100-122openalex-snapshot

On the Software Implementation of Cognitive Interoperable Agent-Based Systems

inferred← citeshttps://doi.org/10.21869/2223-1560-2024-28-4-138-153openalex-snapshot

Interaction of cognitive and reactive agents in an intelligent computing system: operational semantics

inferred← citeshttps://doi.org/10.21869/2223-1560-2025-29-1-52-78openalex-snapshot

Interaction of cognitive and reactive agents in an intelligent computing system: principles of organization

inferred← citeshttps://doi.org/10.21869/2223-1560-2026-30-2-171-194openalex-snapshot

Machine Learning in the Creation of Career Guidance Digital Platforms Based on Expert Surveys, Cognitive Styles of Learning, and the Random Forest Method

inferred← citeshttps://doi.org/10.3390/books978-3-03842-423-9openalex-snapshot

Epistemic Game Theory and Logic

inferred← citeshttps://doi.org/10.3390/g8010003openalex-snapshot

Strategy Constrained by Cognitive Limits, and the Rationality of Belief-Revision Policies

inferred← citeshttps://doi.org/10.70675/d25fa491z4ac5z43c0z8632z2ce9c78e05beopenalex-snapshot

On the proof theory of conditional logics

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.