Skip to main content
main-content

Tipp

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

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

Abstract

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.
Literatur
Über diesen Artikel

Weitere Artikel der Ausgabe 3/2018

Soft Computing 3/2018 Zur Ausgabe

Premium Partner

    Bildnachweise