Complétude de certaines logiques bimodales. (Completion of certain bimodal logics). (French) Zbl 0639.03015
Reviewer: I.Gullvåg
MSC:
03B45