Manchester Metropolitan University's Research Repository

    Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility

    Rybakov, V (2016) Intransitive temporal multi-agent’s logic, knowledge and uncertainty, plausibility. Lecture Notes in Computer Science, 9537. ISSN 0302-9743


    Download (116kB) | Preview


    © Springer International Publishing Switzerland 2016. We study intransitive temporal logic implementing multiagent’s approach and formalizing knowledge and uncertainty. An innovative point here is usage of non-transitive linear time and multi-valued models - the ones using separate valuations Vj for agent’s knowledge of facts and summarized (agreed) valuation together with rules for computation truth values for compound formulas. The basic mathematical problems we study here are - decidability and decidability w.r.t. admissible rules. First, we study general case - the logic with non-uniform intransitivity and solve its decidability problem. Also we consider a modification of this logic - temporal logic with uniform non-transitivity and solve problem of recognizing admissibility in this logic.

    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