Sergey Babenyshev

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Inference Rules

Conditional Logic

Proof Theoretic

Top Venues

J. Log. Comput.

Publications

Sergey Babenyshev, Manuel A. Martins
Behavioral equivalence of hidden k-logics: An abstract algebraic approach. J. Appl. Log. 16 (2016)
Sergey Babenyshev, Manuel A. Martins
-logics. J. Log. Comput. 24 (1) (2014)
Sergey Babenyshev, Vladimir V. Rybakov
Unification in linear temporal logic LTL. Ann. Pure Appl. Log. 162 (12) (2011)
Sergey Babenyshev, Vladimir V. Rybakov
Linear Temporal Logic LTL: Basis for Admissible Rules. J. Log. Comput. 21 (2) (2011)
Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
A Tableau Method for Checking Rule Admissibility in S4. Electron. Notes Theor. Comput. Sci. 262 (2010)
Sergey Babenyshev, Vladimir V. Rybakov
A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. KES (1) (2010)
Vladimir V. Rybakov, Sergey Babenyshev
Multi-agent Logic with Distances Based on Linear Temporal Frames. ICAISC (2) (2010)
Sergey Babenyshev, Vladimir V. Rybakov
\mathcal{BLTL}. KES (2) (2010)
Sergey Babenyshev, Vladimir V. Rybakov
Logics of Kripke meta-models. Log. J. IGPL 18 (6) (2010)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of discovery and knowledge. Decision algorithm. Intell. Decis. Technol. 3 (2) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Describing Evolutions of Multi-Agent Systems. KES (1) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. Int. J. Intell. Def. Support Syst. 2 (1) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Temporal Logic for Modeling Discovery and Logical Uncertainty. KES (2) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. CiE (2008)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of Discovery and Knowledge: Decision Algorithm. KES (2) (2008)
Vladimir V. Rybakov, Sergey Babenyshev
Algorithms for AI Logic of Decisions in Multi-Agent Environment. ICEIS (2) (2008)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) (2008)