The dynamic logic of permission

DOI10.1093/logcom/6.3.465zbMath0855.03008OpenAlexW2167501322MaRDI QIDQ4885627

Ron van der Meyden

Publication date: 9 February 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/6.3.465

zbMATH Keywords

deontic logicdynamic logicdisjunctiondeontic paradoxesfree choice permissionpermission operators

Mathematics Subject Classification ID

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

Related Items (24)

Agential free choice ⋮ Computation as social agency: what, how and who ⋮ 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 ⋮ Connecting actions and states in deontic logic ⋮ On the complexity of input/output logic ⋮ Tableaux methods for access control in distributed systems ⋮ A dynamic deontic logic for complex contracts ⋮ The paradoxes of permission an action based solution ⋮ Reasoning about permitted announcements ⋮ Logical approaches to deontic reasoning: From basic questions to dynamic solutions ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Agent strands in the action language \(n\mathcal C +\) ⋮ Don't ever do that! Long-term duties in \(PD_{e}L\) ⋮ Completely and partially executable sequences of actions in deontic context ⋮ Action type deontic logic ⋮ A theory of permission based on the notion of derogation ⋮ The logic of knowledge based obligation ⋮ Dynamic deontic logic and its paradoxes ⋮ Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments ⋮ Logical dynamics of some speech acts that affect obligations and preferences ⋮ Dynamic logic of preference upgrade ⋮ Supercover semantics for deontic action logic

This page was built for publication: The dynamic logic of permission