Geodesic
Logiche modali con la proprietà del punto fisso
Bollettino della Unione matematica italiana, Série 8, 2B (1999) no. 2, pp. 279-290

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Zbl   MR

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. 
Sacchetti, L. Logiche modali con la proprietà del punto fisso. Bollettino della Unione matematica italiana, Série 8, 2B (1999) no. 2, pp. 279-290. http://geodesic.mathdoc.fr/item/BUMI_1999_8_2B_2_a3/
@article{BUMI_1999_8_2B_2_a3,
     author = {Sacchetti, L.},
     title = {Logiche modali con la propriet\`a del punto fisso},
     journal = {Bollettino della Unione matematica italiana},
     pages = {279--290},
     year = {1999},
     volume = {Ser. 8, 2B},
     number = {2},
     zbl = {0929.03026},
     mrnumber = {MR1706608},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2B_2_a3/}
}
TY  - JOUR
AU  - Sacchetti, L.
TI  - Logiche modali con la proprietà del punto fisso
JO  - Bollettino della Unione matematica italiana
PY  - 1999
SP  - 279
EP  - 290
VL  - 2B
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/BUMI_1999_8_2B_2_a3/
LA  - it
ID  - BUMI_1999_8_2B_2_a3
ER  - 
%0 Journal Article
%A Sacchetti, L.
%T Logiche modali con la proprietà del punto fisso
%J Bollettino della Unione matematica italiana
%D 1999
%P 279-290
%V 2B
%N 2
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2B_2_a3/
%G it
%F BUMI_1999_8_2B_2_a3