×

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.

MSC:
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 XML Cite
Full Text: EuDML