Logiche modali con la proprietà del punto fisso
Sacchetti, L.
Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999), p. 279-290 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

We introduce various kinds of fixed-point properties for modal logics, and we classify the most prominent systems according to these. Our goal is to do a first step towards a complete characterization of provability logics of (possibly non standard) derivability predicates for Peano Arithmetic.

Publié le : 1999-06-01
@article{BUMI_1999_8_2B_2_279_0,
     author = {L. Sacchetti},
     title = {Logiche modali con la propriet\`a del punto fisso},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {2-A},
     year = {1999},
     pages = {279-290},
     zbl = {0929.03026},
     mrnumber = {1706608},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1999_8_2B_2_279_0}
}

Sacchetti, L. Logiche modali con la proprietà del punto fisso. Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999) pp. 279-290. http://gdmltest.u-ga.fr/item/BUMI_1999_8_2B_2_279_0/

[1] Bellissima, F., Atoms in modal algebras, Zeitscr. f. math. Logik un Grundlagen d.Math., Bd. 30 (1984), 303-312. | MR 760067 | Zbl 0562.03037

[2] Bernardi, C., The uniquennes of the fixed point theorem in every diagonalizable algebra (The algebraization of theories which express Theor. VIII), Studia Logica, 35 (1976), 335-343. | MR 460115 | Zbl 0345.02020

[3] Bernardi, C., The fixed point theorem for the diagonalizable algebras (The algebraization of theories which express Theor. III), Studia Logica, 34 (1975), 239-251. | MR 460110 | Zbl 0318.02031

[4] Boolos, G.-Sambin, G., An incomplete system of modal logic, J. Philosophical Logic, 14 (1985), 351-358. | MR 816240 | Zbl 0589.03005

[5] Feferman, S., The Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960). | MR 147397 | Zbl 0095.24301

[6] Halmos, P. R., Algebraic Logic, Chelsea Publishing Company, New York (1962). | MR 131961 | Zbl 0101.01101

[7] Hughes, G. E.-Cresswell, M. J., Guida alla logica modale, CLUEB, Bologna (1990).

[8] Magari, R., The diagonalizable algebras, Boll. Un. Mat. Ital. (4), 12 (1975), 321-331. | MR 460109 | Zbl 0352.08009

[9] Magari, R., Primi risulati sulla varietà di Boolos, Boll. Un. Mat. Ital., (6) 1-B (1982), 359-367. | MR 654940 | Zbl 0487.03039

[10] Montagna, F., On the diagonalizable algebra of Peano Arithmetic, Boll. Un. Mat. Ital. (5), 16-B (1979), 795-812. | MR 553798 | Zbl 0419.08010

[11] Sambin, G., An effective fixed point theorem in intutionistic diagonalizable algebras (The algebraization of theories which express Theor. IX), Studia Logica, 35 (1976), 345-361. | MR 460116 | Zbl 0357.02028

[12] Smorynsky, C., Self-Reference and Modal Logic, Springer-Verlag, New York (1985). | MR 807778 | Zbl 0596.03001

[13] Visser, A., Peano's Smart Children (a provability logical study of systems with built-in consistency), Logic Group, Preprint Series No. 14; Departement of Philosophy, University of Utrecht. | Zbl 0686.03033