Sergey Babenyshev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deduction-detachment theorem and Gentzen-style deductive systems Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science	2018-09-13	Paper
A tableau method for checking rule admissibility in S4 Electronic Notes in Theoretical Computer Science	2016-08-05	Paper
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach Journal of Applied Logic	2016-06-30	Paper
scientific article; zbMATH DE number 6287618 (Why is no real title available?)	2014-04-23	Paper
Deduction-detachment theorem in hidden k-logics Journal Of Logic And Computation	2014-04-01	Paper
Unification in linear temporal logic LTL Annals of Pure and Applied Logic	2011-09-22	Paper
Linear temporal logic LTL: basis for admissible rules Journal Of Logic And Computation	2011-06-10	Paper
Logics of Kripke meta-models Logic Journal of the IGPL	2010-12-14	Paper
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL Logic and Theory of Algorithms	2008-06-19	Paper

Research outcomes over time

This page was built for person: Sergey Babenyshev