journal article
oaidoi:10.1016/j.entcs.2009.02.030

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

Authors
Publication date
25 March 2009
Publisher
Elsevier B.V.
Doi

    Abstract

    AbstractIn nowadays applications of temporal deontic logic to the verification of security policies, an issue arises concerning the temporal inheritance of future directed obligations that have net yet been met. We investigate decision procedures for temporal deontic logics that account for this particular interaction between time and obligation

    Similar works

    Full text

    thumbnail-image

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/j.entcs.2009.02.03...
    Last time updated on 06/05/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.