Deontic STIT logic, from logical paradox to security policy

Lirong Qiu, Xin Sun 0001. Deontic STIT logic, from logical paradox to security policy. Soft Comput., 22(3):751-757, 2018. [doi]

Abstract

Abstract is missing.