zbMATH — the first resource for mathematics

Modal logics with fixed point property. (Italian) Zbl 0929.03026
Summary: We introduce various kinds of fixed-point properties for modal logics, and we classify the most prominent systems according to them. Our goal is to do a first step towards a complete characterization of provability logics of (possibly nonstandard) derivability predicates for Peano Arithmetic.

03B45 Modal logic (including the logic of norms)
03F45 Provability logics and related algebras (e.g., diagonalizable algebras)
03F30 First-order arithmetic and fragments
PDF BibTeX Cite
Full Text: EuDML