Search Results for author: Olim Tuyt

Found 1 papers, 0 papers with code

Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

no code implementations13 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

Cannot find the paper you are looking for? You can Submit a new open access paper.