Axiomatization of crisp Godel modal logic

Ricardo Oscar Rodriguez, Amanda Vidal Wandelmer

In this paper we consider the modal logic with both Box and Diamond arising fromKripke models with a crisp accessibility and whose propositions are valued over the stan-dard Godel…