Resumen de An explicit basis for admissible inference rules in table modal logics of width 2

V. V. Rimatskii

• We construct an explicit finite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.