## Logiche modali con la proprietà del punto fisso

- L. Sacchetti
- Boll. Un. Mat. Ital. 8
- 1999

Our purpose is to present some connections between modal incompleteness and modal logics related to the Gödel-Löb logic GL. One of our goals is to prove that for all m, n, k, l ∈ N the logic K + ∧n i=m ✷( ∧l j=k ✷p ↔ p) → ∧n i=m ✷p is incomplete and does not have the fixed point property. As a consequence we shall obtain that the Boolos logic KH does not… (More)

Sorry, we couldn't extract any figures or tables for this paper.