Bi-modal Gödel logic over [0,1]-valued Kripke frames

Xavier Caicedo, Ricardo Oscar Rodriguez

We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel alge…