modal algebra

algebraic structure providing semantics for modal logics

카테고리: