Tome 23 (2011) no. 4
Sommaire
On construction of an explicit basis for admissible inference rules of modal logics extending~$S4.1$
p. 48-65