Tome 36 (1991) no. 2
Sommaire
p. 325-347
Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability
p. 369-390