Sergey Babenyshev

According to our database, Sergey Babenyshev authored at least 17 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Behavioral equivalence of hidden k-logics: An abstract algebraic approach.

Sergey Babenyshev, Manuel A. Martins

J. Appl. Log., 2016

2014

Deduction-detachment theorem in hidden <i>k</i>-logics.

Sergey Babenyshev, Manuel A. Martins

J. Log. Comput., 2014

2011

Linear Temporal Logic LTL: Basis for Admissible Rules.

Sergey Babenyshev, Vladimir V. Rybakov

J. Log. Comput., 2011

Unification in linear temporal logic LTL.

Sergey Babenyshev, Vladimir V. Rybakov

Ann. Pure Appl. Log., 2011

2010

Logical Analysis of Multi-agent Kripke Structures.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Agent and Multi-agent Technology for Internet and Enterprise Systems, 2010

Logics of Kripke meta-models.

Sergey Babenyshev, Vladimir V. Rybakov

Log. J. IGPL, 2010

Reasoning and Inference Rules in Basic Linear Temporal Logic <i>BLTL</i>\mathcal{BLTL}.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Multi-agent Logic with Distances Based on Linear Temporal Frames.

Vladimir V. Rybakov, Sergey Babenyshev

Proceedings of the Artifical Intelligence and Soft Computing, 2010

2009

Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms.

Sergey Babenyshev, Vladimir V. Rybakov

Int. J. Intell. Def. Support Syst., 2009

Logic of discovery and knowledge. Decision algorithm.

Sergey Babenyshev, Vladimir V. Rybakov

Intell. Decis. Technol., 2009

A Tableau Method for Checking Rule Admissibility in S4.

Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Temporal Logic for Modeling Discovery and Logical Uncertainty.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

Describing Evolutions of Multi-Agent Systems.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

2008

Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Algorithms for AI Logic of Decisions in Multi-Agent Environment.

Vladimir V. Rybakov, Sergey Babenyshev

Proceedings of the ICEIS 2008, 2008

Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.

Sergey Babenyshev, Vladimir V. Rybakov

Proceedings of the Logic and Theory of Algorithms, 2008