Incompleteness and Fixed Points
β
Lorenzo Sacchetti
π
Article
π
2002
π
John Wiley and Sons
π
English
β 206 KB
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 is incomplete and does not have the fixed point property. As a consequence we shall obtain that the Boolos logic KH does not have the