1. Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms;Babenyshev;KES (3) 2008: Lecture Notes in Computer Science,2008
2. Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL;Babenyshev;CiE 2008: Lecture Notes in Computer Science,2008
3. Logic of Discovery and Knowledge: Decision Algorithm;Babenyshev;KES (2), Lecture Notes in Computer Science,2008
4. Describing Evolutions of Multi-Agent Systems;Babenyshev;KES (1) 2009: Lecture Notes in Computer Science,2009
5. Linear Temporal Logic LTL: Basis for Admissible Rules;Babenyshev;J. Logic Computation,2011