bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-B (1999), n. 2 -> pp. 279-290

Referenza completa

Sacchetti, L.:
Logiche modali con la proprietà del punto fisso
Bollettino dell'Unione Matematica Italiana Serie 8 2-B (1999), fasc. n.2, p. 279-290, Unione Matematica Italiana (Italian)
pdf (236 Kb), djvu (159 Kb). | MR1706608 | Zbl 0929.03026

Sunto

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.
Referenze Bibliografiche
[1] F. BELLISSIMA , Atoms in modal algebras, Zeitscr. f. math. Logik un Grundlagen d.Math., Bd. 30 (1984), 303-312. | MR 760067 | Zbl 0562.03037
[2] C. BERNARDI , 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] C. BERNARDI , 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] G. BOOLOS - G. SAMBIN , An incomplete system of modal logic, J. Philosophical Logic, 14 (1985), 351-358. | MR 816240 | Zbl 0589.03005
[5] S. FEFERMAN , The Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960). | fulltext mini-dml | MR 147397 | Zbl 0095.24301
[6] P. R. HALMOS , Algebraic Logic, Chelsea Publishing Company, New York (1962). | MR 131961 | Zbl 0101.01101
[7] G. E. HUGHES - M. J. CRESSWELL , Guida alla logica modale, CLUEB, Bologna (1990).
[8] R. MAGARI , The diagonalizable algebras, Boll. Un. Mat. Ital. (4), 12 (1975), 321-331. | MR 460109 | Zbl 0352.08009
[9] R. MAGARI , Primi risulati sulla varietà di Boolos, Boll. Un. Mat. Ital., (6) 1-B (1982), 359-367. | MR 654940 | Zbl 0487.03039
[10] F. MONTAGNA , On the diagonalizable algebra of Peano Arithmetic, Boll. Un. Mat. Ital. (5), 16-B (1979), 795-812. | MR 553798 | Zbl 0419.08010
[11] G. SAMBIN , 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] C. SMORYNSKY , Self-Reference and Modal Logic, Springer-Verlag, New York (1985). | MR 807778 | Zbl 0596.03001
[13] A. VISSER , 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
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-B (1999), n. 2 -> pp. 279-290

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali