Items where Author is "Babenyshev, Sergey"

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.