Geodesic
Quasi-modal algebras
Mathematica Bohemica, Tome 126 (2001) no. 4, pp. 721-736

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
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.
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.
DOI : 10.21136/MB.2001.134115
Classification : 03G05, 06E25
Keywords: Boolean algebras; modal algebras; Boolean spaces with relations 
Celani, Sergio. Quasi-modal algebras. Mathematica Bohemica, Tome 126 (2001) no. 4, pp. 721-736. doi: 10.21136/MB.2001.134115
@article{10_21136_MB_2001_134115,
     author = {Celani, Sergio},
     title = {Quasi-modal algebras},
     journal = {Mathematica Bohemica},
     pages = {721--736},
     year = {2001},
     volume = {126},
     number = {4},
     doi = {10.21136/MB.2001.134115},
     mrnumber = {1869464},
     zbl = {0999.06012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2001.134115/}
}
TY  - JOUR
AU  - Celani, Sergio
TI  - Quasi-modal algebras
JO  - Mathematica Bohemica
PY  - 2001
SP  - 721
EP  - 736
VL  - 126
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2001.134115/
DO  - 10.21136/MB.2001.134115
LA  - en
ID  - 10_21136_MB_2001_134115
ER  - 
%0 Journal Article
%A Celani, Sergio
%T Quasi-modal algebras
%J Mathematica Bohemica
%D 2001
%P 721-736
%V 126
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2001.134115/
%R 10.21136/MB.2001.134115
%G en
%F 10_21136_MB_2001_134115

[1] Brink C., Rewitzky I. M.: Finite-cofinite program relations. Log. J. IGPL 7 (1999), 153–172. | DOI | MR

[2] Bosangue M., Kwiatkowska M.: Re-interpreting the modal $\mu $-calculus. Modal Logic and Process Algebra: A Bisimulation Perspective. A. Ponse, M. de Rijke, Y. Venema (eds.), CSLI Lectures Notes, Stanford, CA, 1995. | MR

[3] Goldblatt R.: Mathematics of Modality. CSLI Lectures Notes, Stanford, CA, 1993. | MR | Zbl

[4] Goldblatt R.: Saturation and the Hennessy-Milner Property. Modal Logic and Process Algebra: A Bisimulation Perspective, A. Ponse, M. de Rijke, Y. Venema (eds.), CSLI Lectures Notes, Stanford, CA, 1995. | MR

[5] Jónsson B., Tarski A.: Boolean algebras with Operators, Part I. Amer. J. Math. 73 (1951), 891–939. | DOI | MR

[6] Koppelberg S.: Topological duality. Handbook of Boolean Algebras, J. D. Monk, R. Bonnet (eds.) vol. 1, North-Holland, Amsterdam, 1989, pp. 95–126. | MR

[7] Sambin G., Vaccaro V.: Topology and duality in modal logic. Ann. Pure Appl. Logic 37 (1988), 249–296. | DOI | MR

Cité par Sources :