Incompleteness and Fixed Points


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)
DOI: 10.1002/1521-3870(200201)48:1%3C15::AID-MALQ15%3E3.0.CO;2-C


Figures and Tables

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

Slides referencing similar topics