Deontic STIT logic, from logical paradox to security policy
Crossref DOI link: https://doi.org/10.1007/s00500-017-2497-7
Published Online: 2017-01-24
Published Print: 2018-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Qiu, Lirong
Sun, Xin
Funding for this research was provided by:
National Natural Science Foundation of China (Grants 61672553, 61331013)
National Science Centre of Poland (BEETHOVEN, UMO-2014/15/G/HS1/04514)
License valid from 2017-01-24