论文信息 - Duality between modal algebras and neighbourhood frames

Duality between modal algebras and neighbourhood frames

This paper presents duality results between categories of neighbourhood frames for modal logic and categories of modal algebras (i.e. Boolean algebras with an additional unary operation). These results extend results of Goldblatt and Thomason about categories of relational frames for modal logic.

Kosta Dosen | K. Dosen

[1] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .

[2] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .

[3] G. Hansoul,et al. A duality for Boolean algebras with operators , 1983 .

[4] James Williams. Structure diagrams for primitive Boolean algebras , 1975 .

[5] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[6] Bodo Pareigis,et al. Categories and Functors , 1970 .

[7] R. Goldblatt. Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.

[8] Steven K. Thomason. Categories of Frames for Modal Logic , 1975, J. Symb. Log..

[9] Krister Segerberg,et al. An essay in classical modal logic , 1971 .

[10] Richard S. Pierce. Compact zero-dimensional metric spaces of finite type , 1972 .