Page 1

Displaying 1 – 1 of 1

Showing per page

Logiche modali con la proprietà del punto fisso

L. Sacchetti (1999)

Bollettino dell'Unione Matematica Italiana

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.

Currently displaying 1 – 1 of 1

Page 1