Sergey Babenyshev

From MaRDI portal
Person:301371

Available identifiers

zbMath Open babenyshev.sergeyMaRDI QIDQ301371

List of research outcomes





PublicationDate of PublicationType
Deduction-Detachment Theorem and Gentzen-Style Deductive Systems2018-09-13Paper
A Tableau Method for Checking Rule Admissibility in S42016-08-05Paper
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach2016-06-30Paper
https://portal.mardi4nfdi.de/entity/Q54114652014-04-23Paper
Deduction-detachment theorem in hidden k-logics2014-04-01Paper
Unification in linear temporal logic LTL2011-09-22Paper
Linear Temporal Logic LTL: Basis for Admissible Rules2011-06-10Paper
Logics of Kripke meta-models2010-12-14Paper
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL2008-06-19Paper

Research outcomes over time

This page was built for person: Sergey Babenyshev

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:301371&oldid=7103647"
Powered by MediaWiki