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[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[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