On the public citation graph
Busy choice sequences refraining formulas and modalities
0 signed · 35 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19590051405openalex-snapshot
Modal Logics Between S 4 and S 5
inferredcites →https://doi.org/10.1007/978-94-009-6259-0_3openalex-snapshot
Combinations of Tense and Modality
inferredcites →https://doi.org/10.1007/bf00385718openalex-snapshot
Before refraining: Concepts for agency
inferredcites →https://doi.org/10.1007/bf01028968openalex-snapshot
Getting started: Beginnings in the logic of action
inferredcites →https://doi.org/10.1007/bf01028972openalex-snapshot
Time and modality in the logic of agency
inferredcites →https://doi.org/10.1007/bf01052780openalex-snapshot
Doing and refraining from refraining
inferredcites →https://doi.org/10.1007/bf01054713openalex-snapshot
Decidability ofstit theory with a single agent andRefref Equivalence
inferredcites →https://doi.org/10.1111/j.1755-2567.1988.tb00717.xopenalex-snapshot
Seeing to it that: a canonical form for agentives
inferredcites →https://doi.org/10.2307/2108182openalex-snapshot
Backwards and Forwards in the Modal Logic of Agency
inferredcites →https://doi.org/10.2307/2268714openalex-snapshot
Modalities in the Survey system of strict implication
inferredcites →https://doi.org/10.2307/2270800openalex-snapshot
M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4…
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-319-01754-9_16openalex-snapshot
Group Strategies and Independence
inferred← citeshttps://doi.org/10.1007/978-3-540-30227-8_9openalex-snapshot
Qualitative Action Theory
inferred← citeshttps://doi.org/10.1007/s11787-020-00264-zopenalex-snapshot
Quantified Temporal Alethic Boulesic Doxastic Logic
inferred← citeshttps://doi.org/10.1023/a:1021841323244openalex-snapshot
Obligation and the Conditional in Stit Theory
inferred← citeshttps://doi.org/10.1093/0195134613.005.0001openalex-snapshot
Proofs of Validities and Propositions
inferred← citeshttps://doi.org/10.1305/ndjfl/1039118864openalex-snapshot
Uncompactness of Stit Logics Containing Generalized Refref Conditionals
inferred← citeshttps://doi.org/10.21146/2074-1472-2020-26-2-9-38openalex-snapshot
Прощение как речевой акт в пропозициональной динамической логике
inferred← citeshttps://doi.org/10.32603/2412-8562-2022-8-1-19-37openalex-snapshot
How Many Ways are there Not to Act?
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.