e-space
Manchester Metropolitan University's Research Repository

    Inference in discrete linear temporal logic

    Rybakov, Vladimir V. (2005) Inference in discrete linear temporal logic. [Conference or Workshop Item] (Unpublished)

    File not available for download.

    Abstract

    We study logical inference in terms of admissible consecutions (admissible inference rules) for the temporal linear logics. We start by a proof that even linear temporal logics do not enjoy finite model property. Main results of our research are: Theorem 1. The temporal logic DLTL of all integer numbers is decidable w.r.t. admissible inference rules. Theorem 2. The temporal logic L(cln) based on all natural numbers is decidable w.r.t. admissible inference rules.

    Impact and Reach

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    239Hits

    Additional statistics for this dataset are available via IRStats2.

    Repository staff only

    Edit record Edit record