V. V. Rimatskii, “On construction of an explicit basis for admissible inference rules of modal logics extending <nobr>$S4.1$</nobr>”, Diskr. Mat., 2011, Volume 23, Issue 4,Pages <nobr>48

JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 2011 Volume 23, Issue 4, Pages 48–65 (Mi dm1161)

On construction of an explicit basis for admissible inference rules of modal logics extending $S4.1$

V. V. Rimatskii

UDC: 519.7

Received: 07.06.2007

DOI: 10.4213/dm1161