Deontic STIT logic, from logical paradox to security policy
From MaRDI portal
Publication:1797760
DOI10.1007/s00500-017-2497-7zbMath1398.03097OpenAlexW2582209490MaRDI QIDQ1797760
Publication date: 22 October 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-017-2497-7
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deontic epistemic stit logic distinguishing modes of mens rea
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Moral conflicts between groups of agents
- Toward a Linguistic Interpretation of Deontic Paradoxes
- Conditional Ought, a Game Theoretical Perspective
- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
- Formal specification of security requirements using the theory of normative positions
This page was built for publication: Deontic STIT logic, from logical paradox to security policy