On the public citation graph
Deontic database constraints, violation and recovery
0 signed · 36 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/3-540-50345-5_10openalex-snapshot
Abstract object types for databases
inferredcites →https://doi.org/10.1007/3-540-51803-7_30openalex-snapshot
The prescription and description of state based systems
inferredcites →https://doi.org/10.1007/978-3-642-70592-2openalex-snapshot
Formal Techniques for Data Base Design
inferredcites →https://doi.org/10.1007/978-94-010-3146-2_1openalex-snapshot
Deontic Logic: An Introduction
inferredcites →https://doi.org/10.1007/978-94-015-8531-6_11openalex-snapshot
On the Rôle of Deontic Logic in the Characterization of Normative Systems
inferredcites →https://doi.org/10.1007/bf00291052openalex-snapshot
Specification and verification of database dynamics
inferredcites →https://doi.org/10.1007/bf00869304openalex-snapshot
Ideality, sub-ideality and deontic logic
inferredcites →https://doi.org/10.1007/bf01530931openalex-snapshot
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
inferredcites →https://doi.org/10.1007/bf01531265openalex-snapshot
Towards a formal theory of defeasible deontic conditionals
inferredcites →https://doi.org/10.1007/bfb0013894openalex-snapshot
Formal specification of security requirements using the theory of normative positions
inferredcites →https://doi.org/10.1016/0169-023x(89)90038-4openalex-snapshot
Specifying dynamic and deontic integrity constraints
inferredcites →https://doi.org/10.1016/0306-4379(91)90001-popenalex-snapshot
Formal techniques for systems specification and verification
inferredcites →https://doi.org/10.1093/analys/24.2.33openalex-snapshot
Contrary-To-Duty Imperatives and Deontic Logic
inferredcites →https://doi.org/10.1093/logcom/1.3.357openalex-snapshot
Temporal Reasoning over Deontic Specifications
inferredcites →https://doi.org/10.1145/122058.122068openalex-snapshot
Temporal databases status and research directions
inferredcites →https://doi.org/10.1305/ndjfl/1093637776openalex-snapshot
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11786849_19openalex-snapshot
The Deontic Component of Action Language $n{\mathcal{C}}+$
inferred← citeshttps://doi.org/10.1007/11961536_16openalex-snapshot
A Functional Program for Agents, Actions, and Deontic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-25927-5_17openalex-snapshot
Maintaining Obligations on Stative Expressions in a Deontic Action Logic
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-642-00867-2_2openalex-snapshot
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-01256-3_15openalex-snapshot
On Logic and Standards for Structuring Documents
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_6openalex-snapshot
Dynamic Deontic Logic, Segerberg-Style
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-8851-5_13openalex-snapshot
A New Approach to Contrary-to-Duty Obligations
inferred← citeshttps://doi.org/10.1007/s10506-020-09279-9openalex-snapshot
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50014-9openalex-snapshot
Logics for Intelligent Agents and Multi-Agent Systems
inferred← citeshttps://doi.org/10.1016/j.artint.2020.103239openalex-snapshot
Ethical approaches and autonomous systems
inferred← citeshttps://doi.org/10.1016/j.jal.2004.01.005openalex-snapshot
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
inferred← citeshttps://doi.org/10.1016/j.jal.2007.06.007openalex-snapshot
Agent strands in the action language n C +
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.1093/logcom/exac028openalex-snapshot
Basic modal congruent and monotonic multilattice logics
inferred← citeshttps://doi.org/10.1177/00375497221095070openalex-snapshot
Quantifying means-end reasoning skills in simulation-based training: a logic-based approach
inferred← citeshttps://doi.org/10.12775/llp.2023.004openalex-snapshot
A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States
inferred← citeshttps://doi.org/10.71548/14972openalex-snapshot
Modelling Fault Tolerance using Deontic Logic: a case study
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.