90 citations · 199 across the 25 of their papers we have counts for
3 papers · 1 filter
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)…
On the expressive power of Lukasiewicz's square operator
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio +1
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: , where is the strong Lukasiewicz conjunction. In part…