Skip to main content


Weitere Artikel dieser Ausgabe durch Wischen aufrufen

24.01.2017 | Foundations | Ausgabe 3/2018 Open Access

Soft Computing 3/2018

Deontic STIT logic, from logical paradox to security policy

Soft Computing > Ausgabe 3/2018
Lirong Qiu, Xin Sun
Wichtige Hinweise
Communicated by A. Di Nola.
This paper is a revision of Sun and Baniasadi (2014).


A deontic STIT logic is studied in this paper with the possible application of specifying security policies for intrude detection in the pervasive computing environment. Compared to the existing deontic STIT logics, an advantage of our logic is that it is capable of solving the miners paradox, a logical paradox which recently grabs attentions of logicians, philosophers, linguistists and computer scientists. A complete and sound axiomatization of our logic is developed.
Über diesen Artikel

Weitere Artikel der Ausgabe 3/2018

Soft Computing 3/2018 Zur Ausgabe

Premium Partner