Manchester Metropolitan University's Research Repository

    Temporal logic for modeling discovery and logical uncertainty

    Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Temporal logic for modeling discovery and logical uncertainty. In: 13th International Conference, KES 2009, 28th September 2009 - 30th September 2009, Santiago, Chile.

    File not available for download.


    he paper investigates a new temporal logic LTLZDU combining operations of the linear temporal logic LTL, the operation for discovery and operation for logical uncertainty. Our main aim is to construct a logical framework for modeling logical laws connecting temporal operations and operations of discovery and uncertainty. We consider questions of satisfiability and decidability for LTLZDU . Our principal result is found algorithm which recognizes theorems of LTLZDU (which implies that LTLZDU is decidable, and the satisfiability problem for LTLZDU is solvable).

    Impact and Reach


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics for this dataset are available via IRStats2.


    Actions (login required)

    View Item View Item