Lirong Qiu, Xin Sun 0001. Deontic STIT logic, from logical paradox to security policy. Soft Comput., 22(3):751-757, 2018. [doi]
@article{QiuS18, title = {Deontic STIT logic, from logical paradox to security policy}, author = {Lirong Qiu and Xin Sun 0001}, year = {2018}, doi = {10.1007/s00500-017-2497-7}, url = {https://doi.org/10.1007/s00500-017-2497-7}, researchr = {https://researchr.org/publication/QiuS18}, cites = {0}, citedby = {0}, journal = {Soft Comput.}, volume = {22}, number = {3}, pages = {751-757}, }