9 citations · 21 across the 11 of their papers we have counts for
9 papers · 1 filter
Axiomatizing logics of finite Gödel-Kripke models
Amanda Vidal, Ricardo O. Rodriguez
We investigate completeness for modal Gödel logics with respect to finite Gödel-Kripke models, along with related aspects. It is well known that the logics studied in [4, 11] fail…
Twist-structures isomorphic to modal Nelson lattices
Paula Menchón, Ricardo O. Rodriguez
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal…
Algebras and relational frames for Gödel modal logic and some of its extensions
Tommaso Flaminio, Lluis Godo, Paula Menchón +1
Gödel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for Gödel mo…
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
Ricardo Rodriguez, Olim Tuyt, Lluis Godo +1
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. More precisely, we characterize K45(G)…
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…
Epistemic BL-Algebras
Manuela Busaniche, Penélope Cordero, Ricardo O. Rodríguez
Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by Hájek, by offering the ability to r…