The following pages link to Sergey Babenyshev (Q301371):
Displayed 9 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Linear Temporal Logic LTL: Basis for Admissible Rules (Q3006112) (← links)
- Logics of Kripke meta-models (Q3061276) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- Deduction-detachment theorem in hidden k-logics (Q5406128) (← links)
- (Q5411465) (← links)