The dynamic logic of permission
From MaRDI portal
DOI10.1093/LOGCOM/6.3.465zbMATH Open0855.03008OpenAlexW2167501322MaRDI QIDQ4885627FDOQ4885627
Authors: 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
Recommendations
Cited In (41)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- Supercover semantics for deontic action logic
- Open reading and free choice permission: a perspective in substructural logics
- Generalizing deontic action logic
- Factoring disjunction out of deontic modal puzzles
- Stenius' approach to disjunctive permission
- On the complexity of input/output logic
- An arrow-based dynamic logic of normative systems and its decidability
- Agential free choice
- Free choice permission, legitimization and relating semantics
- Deontic logic based on inquisitive semantics
- Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
- Tableaux methods for access control in distributed systems
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions
- Free choic permission in STIT
- The paradoxes of permission an action based solution
- A dynamic deontic logic for complex contracts
- Computation as social agency: what, how and who
- Dynamic deontic logic and its paradoxes
- Action type deontic logic
- Permission to speak: a logic for access control and conformance
- Title not available (Why is that?)
- The categorical imperative: category theory as a foundation for deontic logic
- Logical dynamics of some speech acts that affect obligations and preferences
- The logic of knowledge based obligation
- Action negation and alternative reductions for dynamic deontic logics
- Title not available (Why is that?)
- Tableaux for some deontic logics with the explicit permission operator
- Reasoning about permitted announcements
- Connecting actions and states in deontic logic
- A theory of permission based on the notion of derogation
- Basic action deontic logic
- Agent strands in the action language \(n\mathcal C +\)
- Don't ever do that! Long-term duties in \(PD_{e}L\)
- D{\(\Delta\)}L: a dynamic deontic logic
- A unified logical framework for reasoning about deontic properties of actions and states
- Verified synthesis of knowledge-based programs in finite synchronous environments
- Dynamic logic of preference upgrade
- Title not available (Why is that?)
- Completely and partially executable sequences of actions in deontic context
- Open reading without free choice
This page was built for publication: The dynamic logic of permission
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885627)
