On the public citation graph

Applying modal logic

https://doi.org/10.1007/bf00370325
0 signed · 28 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.1145/512760.512782openalex-snapshot
Nondeterminism in logics of programs
inferredcites →https://doi.org/10.1145/800105.803418openalex-snapshot
Propositional modal logic of programs
inferredcites →https://doi.org/10.2307/2005155openalex-snapshot
Theory of Automata
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.…

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-11981-7_18openalex-snapshot
Programming languages and logics of programs
inferred← citeshttps://doi.org/10.1007/978-3-319-91029-1_3openalex-snapshot
Practical Inference—A Formal Analysis
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_1openalex-snapshot
Krister Segerberg’s Philosophy of Action
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_2openalex-snapshot
Basic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-94-011-5524-3_1openalex-snapshot
On Action and Agency
inferred← citeshttps://doi.org/10.1007/978-94-011-5524-3_3openalex-snapshot
Action and Deontology
inferred← citeshttps://doi.org/10.1007/978-94-017-0439-7_5openalex-snapshot
On States, Actions, Omissions and Norms
inferred← citeshttps://doi.org/10.1007/978-94-017-0462-5_1openalex-snapshot
Basic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-2919-2_6openalex-snapshot
Chisholm’s Theory of Action
inferred← citeshttps://doi.org/10.1007/978-94-017-9855-6_4openalex-snapshot
Action and Deontology
inferred← citeshttps://doi.org/10.1007/bf00173701openalex-snapshot
Reasoning about action and change
inferred← citeshttps://doi.org/10.1007/bf00278386openalex-snapshot
The logic of deliberate action
inferred← citeshttps://doi.org/10.1007/bf00869299openalex-snapshot
Routines
inferred← citeshttps://doi.org/10.1007/bf00869681openalex-snapshot
The worlds of fiction and the worlds of science: A comparative study
inferred← citeshttps://doi.org/10.1007/bf00873199openalex-snapshot
Intentions, actions and routines: A problem in Krister Segerberg's theory of action
inferred← citeshttps://doi.org/10.1007/bf00935602openalex-snapshot
Kripke semantics for knowledge representation logics
inferred← citeshttps://doi.org/10.1007/s10849-021-09343-wopenalex-snapshot
Performability of Actions
inferred← citeshttps://doi.org/10.1007/s11225-012-9416-9openalex-snapshot
Dual Choice and Iteration in an Abstract Algebra of Action
inferred← citeshttps://doi.org/10.1016/0304-3975(82)90004-4openalex-snapshot
A complete logic for reasoning about programs via nonstandard model theory I
inferred← citeshttps://doi.org/10.1016/s0049-237x(03)80019-8openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1981.tb00475.xopenalex-snapshot
Purely physical modalities
inferred← citeshttps://doi.org/10.12775/llp.2011.003openalex-snapshot
A norm-giver meets deontic action logic
inferred← citeshttps://doi.org/10.1515/9783110328875.179openalex-snapshot
ALTERNATIVE REDUCTIONS FOR DYNAMIC DEONTIC LOGICS
inferred← citeshttps://doi.org/10.2307/2108182openalex-snapshot
Backwards and Forwards in the Modal Logic of Agency
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.