Deontic STIT logic, from logical paradox to security policy

DOI10.1007/s00500-017-2497-7zbMath1398.03097OpenAlexW2582209490MaRDI QIDQ1797760

Lirong Qiu, Xin Sun

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

zbMATH Keywords

deontic logicsecurity policyminers paradox

Mathematics Subject Classification ID

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