On the public citation graph
Getting started: Beginnings in the logic of action
0 signed · 104 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.1007/10992.1573-0433openalex-snapshot
Journal of Philosophical Logic
inferredcites →https://doi.org/10.1007/978-94-010-1268-3openalex-snapshot
Action Theory and Social Science
inferredcites →https://doi.org/10.1007/978-94-010-3146-2_2openalex-snapshot
New Foundations for Ethical Theory
inferredcites →https://doi.org/10.1007/bf00370324openalex-snapshot
Application of modal logic to programming
inferredcites →https://doi.org/10.1007/bfb0022481openalex-snapshot
Axiomatising the Logic of Computer Programming
inferredcites →https://doi.org/10.1016/0022-0000(79)90046-1openalex-snapshot
Propositional dynamic logic of regular programs
inferredcites →https://doi.org/10.1109/sfcs.1976.27openalex-snapshot
Semantical consideration on floyo-hoare logic
inferredcites →https://doi.org/10.1111/j.1755-2567.1966.tb00594.xopenalex-snapshot
Rights and Parliamentarism
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/2184513openalex-snapshot
Action Theory and Social Science: Some Formal Models.
inferredcites →https://doi.org/10.2307/2219498openalex-snapshot
Position and Change: A Study in Law and Logic.
inferredcites →https://doi.org/10.2307/2271594openalex-snapshot
A logical analysis of some value concepts
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/978-3-030-03098-8_25openalex-snapshot
Notions of Instrumentality in Agency Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_19openalex-snapshot
Formalization of Cognitive-Agent Systems, Trust, and Emotions
inferred← citeshttps://doi.org/10.1007/978-3-030-53487-5_8openalex-snapshot
Causal Agency and Responsibility: A Refinement of STIT Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-90749-5_2openalex-snapshot
Actual Cause and Chancy Causation in Stit: A Preliminary Account
inferred← citeshttps://doi.org/10.1007/978-3-319-01754-9openalex-snapshot
Nuel Belnap on Indeterminism and Free Action
inferred← citeshttps://doi.org/10.1007/978-3-319-01754-9_11openalex-snapshot
Some Examples Formulated in a ‘Seeing to It That’ Logic: Illustrations, Observations, Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-17016-9_18openalex-snapshot
Probabilistic Modelling of Humans in Security Ceremonies
inferred← citeshttps://doi.org/10.1007/978-3-319-19575-9openalex-snapshot
Logic in the Theory and Practice of Lawmaking
inferred← citeshttps://doi.org/10.1007/978-3-319-19575-9_2openalex-snapshot
Conflict of Legal Norms: Definition and Varieties
inferred← citeshttps://doi.org/10.1007/978-3-319-58507-9_5openalex-snapshot
A Logic for Human Actions
inferred← citeshttps://doi.org/10.1007/978-3-319-99316-4_25openalex-snapshot
Network Modeling Environment for Supporting Families of Displaced Concepts
inferred← citeshttps://doi.org/10.1007/978-3-540-87654-0_1openalex-snapshot
Action and Agency in Norm-Governed Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-7643-8504-0_7openalex-snapshot
Modal Logics with Transitive Closure
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-007-7046-1_3openalex-snapshot
On the Reconciliation of Logics of Agency and Logics of Event Types
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_4openalex-snapshot
Three Traditions in the Logic of Action: Bringing them Together
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_5openalex-snapshot
Deontic Logics Based on Boolean Algebra
inferred← citeshttps://doi.org/10.1007/978-94-010-0630-9_8openalex-snapshot
Stig Kanger on Deontic Logic
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-1852-3_4openalex-snapshot
What is Analytical Philosophy?
inferred← citeshttps://doi.org/10.1007/bf01053002openalex-snapshot
Busy choice sequences refraining formulas and modalities
inferred← citeshttps://doi.org/10.1007/bf01306968openalex-snapshot
The deliberative stit: A study of action, omission, ability, and obligation
inferred← citeshttps://doi.org/10.1007/bfb0013997openalex-snapshot
Decidability of deliberative stit theories with multiple agents
inferred← citeshttps://doi.org/10.1007/s10506-007-9056-yopenalex-snapshot
A computational framework for institutional agency
inferred← citeshttps://doi.org/10.1007/s10506-011-9110-7openalex-snapshot
Relationships between obligations and actions in the context of institutional agents, human agents or software agents
inferred← citeshttps://doi.org/10.1007/s10670-023-00730-2openalex-snapshot
A Logical Study of Moral Responsibility
inferred← citeshttps://doi.org/10.1007/s10992-004-6368-1openalex-snapshot
On the Axiomatisation of Elgesem's Logic of Agency and Ability
inferred← citeshttps://doi.org/10.1007/s10992-013-9284-4openalex-snapshot
Logic and Semantics for Imperatives
inferred← citeshttps://doi.org/10.1007/s10992-015-9365-7openalex-snapshot
Combinations of Stit with Ought and Know
inferred← citeshttps://doi.org/10.1007/s10992-016-9410-1openalex-snapshot
Quantification in Some Non-normal Modal Logics
inferred← citeshttps://doi.org/10.1007/s10992-023-09704-9openalex-snapshot
The Logic of Action and Control
inferred← citeshttps://doi.org/10.1007/s10992-023-09714-7openalex-snapshot
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
inferred← citeshttps://doi.org/10.1007/s11229-006-9036-xopenalex-snapshot
A Semantics for Means-end Relations
inferred← citeshttps://doi.org/10.1007/s11229-008-9309-7openalex-snapshot
A logic of intention and attempt
inferred← citeshttps://doi.org/10.1007/s11787-016-0154-zopenalex-snapshot
Karma Theory, Determinism, Fatalism and Freedom of Will
inferred← citeshttps://doi.org/10.1016/b978-0-444-51667-1.50023-9openalex-snapshot
Foundational Issues of Engineering Design
inferred← citeshttps://doi.org/10.1016/b978-0-444-51667-1.50025-2openalex-snapshot
Rationality in Design
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50141-xopenalex-snapshot
Means-End Plan Recognition – Towards a Theory of Reactive Recognition
inferred← citeshttps://doi.org/10.1016/j.artint.2005.01.003openalex-snapshot
On the logic of cooperation and propositional control
inferred← citeshttps://doi.org/10.1016/j.jal.2004.01.007openalex-snapshot
Action negation and alternative reductions for dynamic deontic logics
inferred← citeshttps://doi.org/10.1016/j.jal.2005.04.006openalex-snapshot
On obligations and normative ability: Towards a logical analysis of the social contract
inferred← citeshttps://doi.org/10.1016/j.jal.2014.01.003openalex-snapshot
The paradoxes of permission an action based solution
inferred← citeshttps://doi.org/10.1016/j.jlap.2012.03.003openalex-snapshot
A dynamic deontic logic for complex contracts
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80024-3openalex-snapshot
21 Modal logic and philosophy
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80033-6openalex-snapshot
The gamut of dynamic logics
inferred← citeshttps://doi.org/10.1017/s1755020317000016openalex-snapshot
ACTION TYPES IN STIT SEMANTICS
inferred← citeshttps://doi.org/10.1023/a:1021871106406openalex-snapshot
Old Foundations for the Logic of Agency and Action
inferred← citeshttps://doi.org/10.1080/11663081.2014.966625openalex-snapshot
Variants of multi-relational semantics for propositional non-normal modal logics
inferred← citeshttps://doi.org/10.1080/11663081.2017.1386031openalex-snapshot
Trust and agency in the context of communication
inferred← citeshttps://doi.org/10.1093/0195134613.005.0001openalex-snapshot
Proofs of Validities and Propositions
inferred← citeshttps://doi.org/10.1093/logcom/exs059openalex-snapshot
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
inferred← citeshttps://doi.org/10.1145/383779.383786openalex-snapshot
A computational theory of normative positions
inferred← citeshttps://doi.org/10.1305/ndjfl/1039118864openalex-snapshot
Uncompactness of Stit Logics Containing Generalized Refref Conditionals
inferred← citeshttps://doi.org/10.14198/doxa2016.39.04openalex-snapshot
Las acciones como transformaciones de estado en G. H. von Wright
inferred← citeshttps://doi.org/10.21697/spch.2019.55.2.06openalex-snapshot
Logic of faith and deed. The idea and an outline of the theoretical conception
inferred← citeshttps://doi.org/10.2307/2275842openalex-snapshot
On the basic logic ofSTITwith a single agent
inferred← citeshttps://doi.org/10.30819/3484openalex-snapshot
Eine Logik von Handlungen und Überzeugungen
inferred← citeshttps://doi.org/10.31497/zrzyxb.20240805openalex-snapshot
The action logic and realization path of the organic renewal of human settlement environment in traditional villages
inferred← citeshttps://doi.org/10.31812/0564/1732openalex-snapshot
Логіка перегляду переконань: пізнавальні дії як модальні оператори
inferred← citeshttps://doi.org/10.3998/ergo.12405314.0006.004openalex-snapshot
Epistemic Oughts in Stit Semantics
inferred← citeshttps://doi.org/10.5007/1808-1711.2010v14n3p421openalex-snapshot
Logic, planning agency and branching time DOI:10.5007/1808-1711.2010v14n3p421
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.