×

zbMATH — the first resource for mathematics

Babenyshev, Sergey

Compute Distance To:
Author ID: babenyshev.sergey Recent zbMATH articles by "Babenyshev, Sergey"
Published as: Babenyshev, Sergey
Documents Indexed: 9 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 36 times in 25 Documents Cited by Year
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
15
2011
A tableau method for checking rule admissibility in S4. Zbl 1345.03033
Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry
8
2010
Unification in linear temporal logic LTL. Zbl 1241.03014
Babenyshev, Sergey; Rybakov, Vladimir
6
2011
Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323
Babenyshev, Sergey; Rybakov, Vladimir
4
2008
Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022
Babenyshev, Sergey; Martins, Manuel A.
2
2014
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193
Babenyshev, Sergey; Martins, Manuel A.
1
2016
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193
Babenyshev, Sergey; Martins, Manuel A.
1
2016
Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022
Babenyshev, Sergey; Martins, Manuel A.
2
2014
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
15
2011
Unification in linear temporal logic LTL. Zbl 1241.03014
Babenyshev, Sergey; Rybakov, Vladimir
6
2011
A tableau method for checking rule admissibility in S4. Zbl 1345.03033
Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A.; Tishkovsky, Dmitry
8
2010
Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. Zbl 1142.03323
Babenyshev, Sergey; Rybakov, Vladimir
4
2008

Citations by Year