Abstract
Two different sound and complete Gentzen style calculi hase been found for modal logic based on the language with coalgebraic cover modality, that allow for generalizations to coalgebraic modal logic.
Two different sound and complete Gentzen style calculi hase been found for modal logic based on the language with coalgebraic cover modality, that allow for generalizations to coalgebraic modal logic.