On the public citation graph

A quantitative analysis of modal logic

0 signed · 44 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.19630090502openalex-snapshot

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

inferredcites →https://doi.org/10.1007/978-1-4612-2822-6_18openalex-snapshot

Finite and Infinite Dialogues

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

Decidability for branching time

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

Graded modalities. I

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

Formulation of Bayesian analysis for games with incomplete information

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

Concurrency and automata on infinite sequences

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(94)90005-1openalex-snapshot

Reasoning about knowledge

inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot

A Mathematical Introduction to Logic

inferredcites →https://doi.org/10.1016/c2013-0-10982-8openalex-snapshot

Theory of Machines and Computations

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

Elementary Induction on Abstract Structures

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

Model-Theoretic Logics

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

A model-theoretic analysis of knowledge

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

An internal semantics for modal logic

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

Knowledge and common knowledge in a distributed environment

inferredcites →https://doi.org/10.1146/annurev.cs.02.060187.000345openalex-snapshot

Using Reasoning About Knowledge to Analyze Distributed Systems

inferredcites →https://doi.org/10.1146/arcompsci.677openalex-snapshot

Annual Review of Computer Science

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

In so many possible worlds.

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

Normal forms in modal logic.

inferredcites →https://doi.org/10.1515/9783110867602.159openalex-snapshot

The Conway Paradox: Its Solution in an Epistemic Framework

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

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs.…

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

Theory of Recursive Functions and Effective Computability.

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

Reasoning About Knowledge

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.264205openalex-extracted

An Impossibility Theorem on Beliefs in Games

inferred← citeshttps://doi.org/10.1002/malq.19970430306openalex-snapshot

Infinitary S5‐Epistemic Logic

inferred← citeshttps://doi.org/10.1006/game.1997.0591openalex-snapshot

Knowledge Spaces with Arbitrarily High Rank

inferred← citeshttps://doi.org/10.1007/978-3-662-03667-9_6openalex-snapshot

Logics of Knowing and Believing

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

Construction of universal modal worlds based on hyperset theory

inferred← citeshttps://doi.org/10.1007/s00182-006-0061-2openalex-snapshot

The power of paradox: some recent developments in interactive epistemology

inferred← citeshttps://doi.org/10.1007/s00182-025-00958-yopenalex-snapshot

The Hierarchical construction of a universal qualitative belief space

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

The hierarchical approach to modeling knowledge and common knowledge

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

The difference between common knowledge of formulas and sets

inferred← citeshttps://doi.org/10.1007/s11225-006-9011-zopenalex-snapshot

An Impossibility Theorem on Beliefs in Games

inferred← citeshttps://doi.org/10.1007/s11225-014-9545-4openalex-snapshot

Changing Types: Information Dynamics for Qualitative Type Spaces

inferred← citeshttps://doi.org/10.1007/s11229-015-0834-xopenalex-snapshot

Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50010-6openalex-snapshot

INFINITARY EPISTEMIC LOGIC

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

Dynamic interactive epistemology

inferred← citeshttps://doi.org/10.1016/j.jet.2023.105784openalex-snapshot

The existence of universal qualitative belief spaces

inferred← citeshttps://doi.org/10.1016/j.jmateco.2003.11.009openalex-snapshot

Hierarchies of beliefs for compact possibility models

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

Hierarchies of knowledge: an unbounded stairway

inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00042-6openalex-snapshot

Coalgebraic logic

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

Iterative and fixed point common belief

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

The Common Knowledge of Formula Exclusion

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

Locally Finite Knowledge Structures

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.