Return to Article Details On a multilattice analogue of a hypersequent S5 calculus Download Download PDF