Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. - Sergey Babenyshev; Vladimir V. Rybakov (CiE, 2008)

Algorithms for AI Logic of Decisions in Multi-Agent Environment. - Vladimir V. Rybakov; Sergey Babenyshev (ICEIS (2), 2008)

Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. - Sergey Babenyshev; Vladimir V. Rybakov (KES (3), 2008)

Describing Evolutions of Multi-Agent Systems. - Sergey Babenyshev; Vladimir V. Rybakov (KES (1), 2009)

Temporal Logic for Modeling Discovery and Logical Uncertainty. - Sergey Babenyshev; Vladimir V. Rybakov (KES (2), 2009)

A Tableau Method for Checking Rule Admissibility in S4. - Sergey Babenyshev; Vladimir V. Rybakov; Renate A. Schmidt; Dmitry Tishkovsky (M4M, 2009)

Logic of discovery and knowledge. Decision algorithm. - Sergey Babenyshev; Vladimir V. Rybakov (Intell. Decis. Technol., 2009)

Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. - Sergey Babenyshev; Vladimir V. Rybakov (Int. J. Intell. Def. Support Syst., 2009)

Multi-agent Logic with Distances Based on Linear Temporal Frames. - Vladimir V. Rybakov; Sergey Babenyshev (ICAISC (2), 2010)

A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. - Sergey Babenyshev; Vladimir V. Rybakov (KES (1), 2010)

Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL mathcal{BLTL}. - Sergey Babenyshev; Vladimir V. Rybakov (KES (2), 2010)

Logics of Kripke meta-models. - Sergey Babenyshev; Vladimir V. Rybakov (Log. J. IGPL, 2010)

Logical Analysis of Multi-agent Kripke Structures. - Sergey Babenyshev; Vladimir V. Rybakov (Agent and Multi-agent Technology for Internet and Enterprise Systems, 2010)

Unification in linear temporal logic LTL. - Sergey Babenyshev; Vladimir V. Rybakov (Ann. Pure Appl. Log., 2011)

Linear Temporal Logic LTL: Basis for Admissible Rules. - Sergey Babenyshev; Vladimir V. Rybakov (J. Log. Comput., 2011)

Deduction-detachment theorem in hidden k-logics. - Sergey Babenyshev; Manuel A. Martins 001 (J. Log. Comput., 2014)

Behavioral equivalence of hidden k-logics: An abstract algebraic approach. - Sergey Babenyshev; Manuel A. Martins 001 (J. Appl. Log., 2016)