An algebraic approach to intuitionistic modal logics over MIPC(MIPCを含む直観主義様相論理に対する代数的方法)