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