5 citations · 8 across the 6 of their papers we have counts for
6 papers
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…
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Félix Bou, Francesc Esteva, Lluís Godo +1
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD4…
Solution of some problems in the arithmetical complexity of first-order fuzzy logics
Félix Bou, Carles Noguera
This short paper addresses the open problems left in a previous paper by Franco Montagna and Carles Noguera. Besides giving solutions to these two problems, some clarification conc…
On the Failure of the Finite Model Property in some Fuzzy Description Logics
Fernando Bobillo, Felix Bou, Umberto Straccia
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the no…
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…
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…