Löb operators and interior operators
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), pp. 77-84. 
@article{RSMUP_1981__65__77_0,
     author = {Mazzanti, Giuliano and Mirolli, Massimo},
     title = {L\"ob operators and interior operators},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {77--84},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {65},
     year = {1981},
     mrnumber = {653284},
     zbl = {0484.03035},
     language = {en},
     url = {http://archive.numdam.org/item/RSMUP_1981__65__77_0/}
}
TY  - JOUR
AU  - Mazzanti, Giuliano
AU  - Mirolli, Massimo
TI  - Löb operators and interior operators
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1981
SP  - 77
EP  - 84
VL  - 65
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1981__65__77_0/
LA  - en
ID  - RSMUP_1981__65__77_0
ER  - 
%0 Journal Article
%A Mazzanti, Giuliano
%A Mirolli, Massimo
%T Löb operators and interior operators
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1981
%P 77-84
%V 65
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1981__65__77_0/
%G en
%F RSMUP_1981__65__77_0
Mazzanti, Giuliano; Mirolli, Massimo. Löb operators and interior operators. Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), pp. 77-84. http://archive.numdam.org/item/RSMUP_1981__65__77_0/

[1] C. Bernardi, On the equational class of diagonalizable algebra (the algebraization of the theory which express theorem), Studia Logica, (4) 34 (1975), pp. 321-331, | MR | Zbl

[2] G. Birkhoff, Lattice Theory, 3rd ed., Am. Math. Soc. Coll. Publ., vol. XXV (1967). | MR

[3] P.R. Halmos, Algebraic logic. - I: Monadic Boolean algebras. Compositio Mathematicae, 12 (1955), pp. 217-249 (reprinted in Algebraic logic, Chelsea Publ. comp. N. Y., 1962). | Numdam | MR | Zbl

[4] B. Jonsson - A. Tarski, Boolean algebras with operators, Part I, American Mathematical Journal, 13 (1951), pp. 891-936. | MR | Zbl

[5] R. Magari, Representation and duality theory for diagonalizable algebras (the algebraization of the theories which express Theor; IV), Studia Logica, (4) 34 (1975), pp. 305-313. | MR | Zbl

[6] K. Segerberg, An Essay in Classical Model Logic, Vol. 2, Filosofiska Studier, Uppsala 1971. | MR | Zbl

[7] C. Smorynski, The derivability condition and Löb's theorem; a short course in modal logic, to appear.

[8] R. Goldblatt, Aritmetical necessity, probability and intuitionistie logic, Theoria, 44 (1978, pp. 38-74. | MR | Zbl