e-space
Manchester Metropolitan University's Research Repository

    Items where Author is "Babenyshev, Sergey"

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | No Grouping
    Number of items: 6.

    Article

    Babenyshev, Sergey and Rybakov, Vladimir V. (2010) Logics of Kripke meta-models. Logic Journal of IGPL, 18 (6). pp. 823-836. ISSN 1368-9894

    Conference or Workshop Item

    Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Describing evolutions of multi-agent systems. In: 13th International Conference, KES 2009, 28th September 2009 - 30th September 2009, Santiago, Chile.

    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.

    Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Logic of discovery and knowledge: decision algorithm. In: 12th International Conference, KES 2008, 3rd September 2008 - 5th September 2008, Zagreb, Croatia.

    Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Logic of plausibility for discovery in multi-agent environment deciding algorithms. In: 12th International Conference, KES 2008, 3rd September 2008 - 5th September 2008, Zagreb, Croatia.

    Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. In: 4th Conference on Computability in Europe, CiE 2008, 15th June 2008 - 20th June 2008, Athens, Greece.

    This list was generated on Sun Jun 23 05:58:04 2024 BST.