e-space
Manchester Metropolitan University's Research Repository

    Non-transitive linear temporal logic and logical knowledge operations

    Rybakov, VV (2016) Non-transitive linear temporal logic and logical knowledge operations. Journal of Logic and Computation, 26 (3). pp. 945-958. ISSN 0955-792X

    [img]
    Preview
    Accepted Version
    Download (126kB) | Preview

    Abstract

    We study a linear temporal logic LTLNT with non-transitive time (with NEXT and UNTIL) and possible interpretations for logical knowledge operations in this approach. We assume time to be non-transitive, linear and discrete, it is a major innovative part of our article. Motivation for our approach that time might be non-transitive and comments on possible interpretations of logical knowledge operations are given. The main result of Section 5 is a solution of the decidability problem for LTLNT, we find and describe in details the decision algorithm. In Section 6 we introduce non-transitive linear temporal logic LTLNT(m) with uniform bound (m) for non-transitivity. We compare it with standard linear temporal logic LTL and the logic LTLNT - where non-transitivity has no upper bound - and show that LTLNT may be approximated by logics LTLNT(m). Concluding part of the article contains a list of open interesting problems.

    Impact and Reach

    Statistics

    Activity Overview
    6 month trend
    405Downloads
    6 month trend
    242Hits

    Additional statistics for this dataset are available via IRStats2.

    Altmetric

    Repository staff only

    Edit record Edit record