no code implementations • 13 May 2021 • Ricardo Rodriguez, Olim Tuyt, Lluis Godo, Francesc Esteva
In this paper, we provide simplified semantics for the logic K45(G), i. e. the many-valued Godel counterpart of the classical modal logic K45.
valid