The Construction of Bi-Modal Systems
1969 Volume 2 Pages 5-17
Details
1969 Volume 2 Pages 5-17
In this paper some bi-modal systems involving two kinds of modal operators are constructed in Gentzen-type formulations with the proof of the " Hauptsatz " for some of these systems.
