Items where Author is "Babenyshev, Sergey"

Article

Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Logics of Kripke meta-models. ISSN 1368-9894

Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Describing evolutions of multi-agent systems. ISSN 1611-3349

Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Temporal logic for modeling discovery and logical uncertainty. ISSN 1611-3349

Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. ISSN 1611-3349

Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Logic of discovery and knowledge: decision algorithm. ISSN 1611-3349

Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Logic of plausibility for discovery in multi-agent environment deciding algorithms. ISSN 1611-3349