1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2020
The closed fragment of IL is PSPACE hard
Félix Bou, Joost J. Joosten
In this paper from 2011 we consider , the closed fragment of the basic interpretability logic . We show that we can translate , the one v…
math.LO2008★ 1 cited
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Felix Bou, Francesc Esteva, Lluis Godo +1
This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility rel…
math.LO2008
Logics preserving degrees of truth from varieties of residuated lattices
F. Bou, F. Esteva, J. M. Font +4
Let K be a variety of (commutative, integral) residuated lattices. The substructural logic usually associated with K is an algebraizable logic that has K as its equivalent algebrai…