A many-sorted polyadic modal logic

Ioana Leustean, Natalia Moanga, Traian Florin Serbanuta

This paper presents a many-sorted polyadic modal logic that generalizes some of the existing approaches. The algebraic semantics has led us to a many-sorted generalization of boole…