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