90 citations · 124 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
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)…
math.LO2021
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…