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

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. 
@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},
     publisher = {mathdoc},
     volume = {Ser. 8, 2B},
     number = {2},
     year = {1999},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2B_2_a3/
%G it
%F BUMI_1999_8_2B_2_a3
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/