A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic

DOI10.1305/ndjfl/1093637776zbMath0695.03009OpenAlexW2021916230MaRDI QIDQ909653

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637776

zbMATH Keywords

deontic logic dynamic logic logic of action act negation Kripke style accessibility relations passage of time trouble

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (67)

Towards a First-Order Deontic Action Logic ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Violation games: a new foundation for deontic logic ★ ⋮ An inconsistency-adaptive deontic logic for normative conflicts ⋮ Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Logic and Ethics: An Integrated Model for Norms, Intentions and Actions ⋮ Actors, actions, and initiative in normative system specification ⋮ How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation ⋮ Propositional dynamic logic with quantification over regular computation sequences ⋮ The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? ⋮ Generalizing deontic action logic ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ Action negation and alternative reductions for dynamic deontic logics ⋮ Obligation as optimal goal satisfaction ⋮ Two approaches to the formalisation of defeasible deontic reasoning ⋮ Contrary-to-duty obligations ⋮ Deontic database constraints, violation and recovery ⋮ Free choice and contextually permitted actions ⋮ Reasoning about actions and obligations in first-order logic ⋮ Regulating competing coalitions: a logic for socially optimal group choices ⋮ A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms ⋮ Unnamed Item ⋮ On the complexity of input/output logic ⋮ Expressivity results for deontic logics of collective agency ⋮ Deontic paradoxes in Mīmāṃsā logics: there and back again ⋮ Law and logic: a review from an argumentation perspective ⋮ Acting, Events and Actions ⋮ A Tableaux System for Deontic Action Logic ⋮ Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Introducing Grades in Deontic Logics ⋮ A dynamic deontic logic for complex contracts ⋮ Unnamed Item ⋮ Reasoning about permitted announcements ⋮ Logical approaches to deontic reasoning: From basic questions to dynamic solutions ⋮ Substantive and procedural norms in normative multiagent systems ⋮ Agent strands in the action language $n\mathcal C +$ ⋮ Don't ever do that! Long-term duties in $PD_{e}L$ ⋮ Blame it on me ⋮ A Lewisian taxonomy for deontic logic ⋮ Completely and partially executable sequences of actions in deontic context ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ Action type deontic logic ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ A Formal Language for Electronic Contracts ⋮ Encapsulating deontic and branching time specifications ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications ⋮ Challenges in the Specification of Full Contracts ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Mapping deontic operators to abductive expectations ⋮ Inquisitive propositional dynamic logic ⋮ Deontic STIT logic, from logical paradox to security policy ⋮ Dynamic deontic logic and its paradoxes ⋮ Reasoning about System-Degradation and Fault-Recovery with Deontic Logic ⋮ A new proof of completeness for a relative modal logic with composition and intersection ⋮ Deontology of compound actions ⋮ A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts ⋮ On the possibility theory-based semantics for logics of preference ⋮ PDL with intersection of programs: a complete axiomatization ⋮ Dynamic logic of preference upgrade ⋮ Dynamic logic of legal competences ⋮ A modal action logic based framework for organization specification and analysis ⋮ Supercover semantics for deontic action logic ⋮ On obligations and normative ability: Towards a logical analysis of the social contract ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

This page was built for publication: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic