Quasi-modal algebras
暂无分享,去创建一个
In this paper we introduce the class of Boolean algebras with an operator between the algebra and the set of ideals of the algebra. This is a generalization of the Boolean algebras with operators. We prove that there exists a duality between these algebras and the Boolean spaces with a certain relation. We also give some applications of this duality.
[1] R. Goldblatt. Mathematics of modality , 1993 .
[2] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .
[3] M. de Rijke,et al. Modal Logic and Process Algebra: A Bisimulation Perspective , 1996 .
[4] Chris Brink,et al. Finite-Cofinite Program Relations , 1999, Log. J. IGPL.
[5] Giovanni Sambin,et al. Topology and duality in modal logic , 1988, Ann. Pure Appl. Log..