On the public citation graph

Ideality, sub-ideality and deontic logic

0 signed · 93 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.1093/analys/24.2.33openalex-snapshot

Contrary-To-Duty Imperatives and Deontic Logic

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

Action Theory and Social Science.

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.910808openalex-extracted

Fundamental Legal Concepts: A Formal and Teleological Characterisation

inferred← citeshttps://doi.org/10.1002/9781444367072.wbiee975openalex-snapshot

Contrary‐to‐Duty Paradox

inferred← citeshttps://doi.org/10.1002/lnc3.352openalex-snapshot

Obligations and Permissions

inferred← citeshttps://doi.org/10.1007/3-540-48315-2_28openalex-snapshot

Violation Contexts and Deontic Independence

inferred← citeshttps://doi.org/10.1007/3-540-61313-7_80openalex-snapshot

Labelling ideality and subideality

inferred← citeshttps://doi.org/10.1007/3-540-63614-5_56openalex-snapshot

A modal logical framework for security policies

inferred← citeshttps://doi.org/10.1007/978-1-4471-1488-8_2openalex-snapshot

Towards a Computational Treatment of Deontic Defeasibility

inferred← citeshttps://doi.org/10.1007/978-1-4471-1488-8_4openalex-snapshot

A deontic logic for reasoning about confidentiality

inferred← citeshttps://doi.org/10.1007/978-1-4471-1488-8_8openalex-snapshot

Getting Personal Some Notes on the Relationship Between Personal and Impersonal Obligation

inferred← citeshttps://doi.org/10.1007/978-3-030-04834-1_4openalex-snapshot

Stratification Based Model for Security Policy with Exceptions and Contraries to Duty

inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_17openalex-snapshot

How Knowledge Triggers Obligation

inferred← citeshttps://doi.org/10.1007/978-3-030-90749-5_6openalex-snapshot

On the Role of Normative Modalities in the Characterization of Emotions

inferred← citeshttps://doi.org/10.1007/978-3-031-15298-6_18openalex-snapshot

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

inferred← citeshttps://doi.org/10.1007/978-3-319-04939-7_1openalex-snapshot

The Equational Approach to Contrary-to-duty Obligations

inferred← citeshttps://doi.org/10.1007/978-3-319-08615-6_1openalex-snapshot

Ingmar Pörn – In Memoriam

inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_5openalex-snapshot

A Dyadic Operator for the Gradation of Desirability

inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_6openalex-snapshot

Deontics = Betterness + Priority

inferred← citeshttps://doi.org/10.1007/978-3-642-31570-1_11openalex-snapshot

An Andersonian Deontic Logic with Contextualized Sanctions

inferred← citeshttps://doi.org/10.1007/978-3-642-31570-1_7openalex-snapshot

Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations

inferred← citeshttps://doi.org/10.1007/978-94-007-1344-4_11openalex-snapshot

Deontic Reasoning

inferred← citeshttps://doi.org/10.1007/978-94-010-0387-2_4openalex-snapshot

Deontic Logic and Contrary-to-Duties

inferred← citeshttps://doi.org/10.1007/978-94-015-8531-6_1openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1007/978-94-015-8531-6_11openalex-snapshot

On the Rôle of Deontic Logic in the Characterization of Normative Systems

inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_10openalex-snapshot

Dyadic Deontic Logic and Contrary-to-Duty Obligations

inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_13openalex-snapshot

A New Approach to Contrary-to-Duty Obligations

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-2798-3_15openalex-snapshot

From Classical to Normal Modal Logics

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

Deontic logic in the representation of law: Towards a methodology

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

Two approaches to the formalisation of defeasible deontic reasoning

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

Contrary-to-duty obligations

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

Deontic database constraints, violation and recovery

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

Doing well enough: Toward a logic for common-sense morality

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

The revenger's paradox

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

?Ought? and ?Must?

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

A note on the deontic system DL of Jones and P�rn

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

A rejoinder to Hansson

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

Towards a formal theory of defeasible deontic conditionals

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

Exploiting the normative aspect of preference: A deontic logic without actions

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

Utilizing deontic operators in information systems specification

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

But what should I do?

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

Formal specification of security requirements using the theory of normative positions

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

Translation-based deduction methods for modal logics

inferred← citeshttps://doi.org/10.1007/s10506-006-9009-xopenalex-snapshot

Fundamental legal concepts: A formal and teleological characterisation*

inferred← citeshttps://doi.org/10.1007/s10506-012-9131-xopenalex-snapshot

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

inferred← citeshttps://doi.org/10.1007/s11225-022-09989-yopenalex-snapshot

Generalizing Deontic Action Logic

inferred← citeshttps://doi.org/10.1007/s11229-010-9866-4openalex-snapshot

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]

inferred← citeshttps://doi.org/10.1007/s11229-019-02083-2openalex-snapshot

Defeasible normative reasoning

inferred← citeshttps://doi.org/10.1007/s11406-018-0036-0openalex-snapshot

Contrary-to-Duty Paradoxes and Counterfactual Deontic Logic

inferred← citeshttps://doi.org/10.1007/s11787-014-0111-7openalex-snapshot

Contrary-to-Duty Reasoning: A Categorical Approach

inferred← citeshttps://doi.org/10.1007/s13218-024-00844-xopenalex-snapshot

Learning Normative Behaviour Through Automated Theorem Proving

inferred← citeshttps://doi.org/10.1007/s43681-024-00482-xopenalex-snapshot

Automated ethical decision, value-ladenness, and the moral prior problem

inferred← citeshttps://doi.org/10.1016/b978-0-12-086441-6.50025-8openalex-snapshot

BIBLIOGRAPHY

inferred← citeshttps://doi.org/10.1016/j.jal.2012.08.001openalex-snapshot

Reactive Kripke models and contrary to duty obligations. Part A: Semantics

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.jal.2014.07.001openalex-snapshot

The categorical imperative: Category theory as a foundation for deontic logic

inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80029-4openalex-snapshot

Deontic logic

inferred← citeshttps://doi.org/10.1017/apa.2020.1openalex-snapshot

From Ideal Worlds to Ideality

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

The Legal Applications of Logic Programming Workshop at the ICLP 94 Conference

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

A UNIFORM APPROACH TO AXIOMATIZING BUNDLED OPERATORS

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

Autonomous agents with norms

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

Prescribed mental attitudes in goal-adoption and norm-adoption

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

Introduction: Agents and Norms: How to fill the gap?

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

Contextual Deontic Logic: Normative Agents, Violations and Independence

inferred← citeshttps://doi.org/10.1080/08066200050505779openalex-snapshot

Conditional obligation and positive permission for agents in time

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

Completeness and decidability results for a logic of contrary-to-duty conditionals

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

Reactive standard deontic logic

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

Enriching deontic logic

inferred← citeshttps://doi.org/10.1093/mind/105.419.415openalex-snapshot

Making room for going beyond the call

inferred← citeshttps://doi.org/10.1111/j.1467-9337.1990.tb00060.xopenalex-snapshot

Deontic Logic and Legal Knowledge Representation*

inferred← citeshttps://doi.org/10.1111/j.1467-9337.1991.tb00105.xopenalex-snapshot

On the Logic of Deontic Conditionals*

inferred← citeshttps://doi.org/10.1111/j.1467-9337.1991.tb00107.xopenalex-snapshot

Deontic Logic as Logic of Legal Norms: Two Main Sources of Problems

inferred← citeshttps://doi.org/10.1111/theo.12028openalex-snapshot

Priority Structures in Deontic Logic

inferred← citeshttps://doi.org/10.1111/theo.12135openalex-snapshot

Anderson’s Restriction of Deontic Modalities to Contingent Propositions

inferred← citeshttps://doi.org/10.1145/112646.112665openalex-snapshot

The structure of norm conditions and nonmonotonic reasoning in law

inferred← citeshttps://doi.org/10.1145/112646.112667openalex-snapshot

Norms and formalization

inferred← citeshttps://doi.org/10.1145/3086512.3086529openalex-snapshot

The pragmatic oddity in norm-based deontic logics

inferred← citeshttps://doi.org/10.1145/3322640.3326707openalex-snapshot

Automated reasoning in normative detachment structures with ideal conditions

inferred← citeshttps://doi.org/10.1145/41735.41754openalex-snapshot

On the relationship between permission and obligation

inferred← citeshttps://doi.org/10.14198/doxa2016.39.05openalex-snapshot

La lógica de implicación normativa de von Wright y la paradoja de Chisholm

inferred← citeshttps://doi.org/10.1515/9783110330472.103openalex-snapshot

The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data

inferred← citeshttps://doi.org/10.17877/de290r-7861openalex-snapshot

Towards unifying semantic constraints and security constraints in distributed information systems

inferred← citeshttps://doi.org/10.18778/0138-0680.2021.05openalex-snapshot

The Good, the Bad and the Right: Formal Reductions among Deontic Concepts

inferred← citeshttps://doi.org/10.26686/ajl.v4i0.1780openalex-snapshot

Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations

inferred← citeshttps://doi.org/10.3166/jancl.13.345-375openalex-snapshot

Remedial interchange, contrary-to-duty obligation and commutation

inferred← citeshttps://doi.org/10.3233/fi-1994-21128openalex-snapshot

DEFEASIBLE DEONTIC REASONING

inferred← citeshttps://doi.org/10.32473/flairs.v35i.130545openalex-snapshot

Preliminary Thoughts on Defining f(x) for Ethical Machines

inferred← citeshttps://doi.org/10.33612/diss.243686372openalex-snapshot

How Knowledge Affects Obligations

inferred← citeshttps://doi.org/10.4000/revus.2979openalex-snapshot

Ser, deber y lógica

inferred← citeshttps://doi.org/10.4000/revus.2982openalex-snapshot

Dejstvo, najstvo in logika

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

The formal-logical characterisation of lies, deception, and associated notions

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

La complétude des normes juridiques : contribution à l'analyse du problème de l'individuation en droit

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.