Amanda Vidal; Fèlix Bou; Lluís Godo "An SMT-based solver for continuous t-norm based logics", Scalable Uncertainty Management (SUM 2012). LNAI , E. Hüllermeier et al. (eds.) , vol. 7520, Marburg (Germany), Springer-Verlag Berlin Heidelberg, pp. 633-640, 17/09/2008.

Fèlix Bou; Francesc Esteva; Lluís Godo "On possibilistic modal logics over Gödel logic", Logic, Algebra and Truth Degrees 2012 (LATD 2012), Kanazawa, Japan, Japan Advanced Institute of Science and Technology & Kurt Gödel Society, pp. 49-54, 10/09/2012.

Fèlix Bou; Marco Cerami; Francesc Esteva "Finite-valued Lukasiewicz modal logic is PSPACE-complete", Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, pp. 774 - 779, 16/07/2011. Abstract

Fèlix Bou; Francesc Esteva; Lluís Godo; Ricardo Oscar Rodriguez "On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice", Journal of Logic and Computation, vol. 21, issue 5: Oxford University Press , pp. 739-790, 2011.

F. Bobillo; Fèlix Bou; U. Straccia "On the Failure of the Finite Model Property in some Fuzzy Description Logics", Fuzzy Sets and Systems, vol. 172, issue 1, pp. 1-12, 2011. Abstract

Fèlix Bou; Carles Noguera "Solution of some open problems in the arithmetical complexity of first-order fuzzy logics", ArXiv, eprint service of Cornell University, 2011. Abstract

Marco Cerami; Francesc Esteva; Fèlix Bou "Decidability of a Description Logic over infinite-valued Product Logic(extended abstract)", 3st LINZ seminar: Lattice-valued Logic and its Applications, pp. 21-25, 9/02/2010.

Marco Cerami; Francesc Esteva; Fèlix Bou "Decidability of a Description Logic over infinite-valued Product Logic", 12th Conference on Principles of Knowledge Representation and Reasoning, KR 2010, Toronto (Canada), AAAI Press, pp. 203-213, 10/05/2010. Abstract

Fèlix Bou; F. Paoli; Antonio Ledda; M. Spinks; R. Giuntini "The logic of quasi-MV algebras", Journal of Logic and Computation, vol. 20, issue 2, pp. 619-643, 2010. Abstract

Fèlix Bou; Francesc Esteva; Lluís Godo; Ricardo Oscar Rodriguez "Characterizing Fuzzy Modal Semantics by fuzzy multimodal systems with crisp accessibility relations", IFSA - EUSFLAT 2009, Calouste Gulbenkian Foundation, Lisbon, Portugal, pp. 1541-1546, 20/07/2009. Abstract

Fèlix Bou; Francesc Esteva; Josep Maria Font; Angel Gil; Lluís Godo; Antoni Torrens; Ventura Verdú "Logics preserving degrees of truth from varieties of residuated lattices", Journal of Logic and Computation (doi:10.1093/logcom/exp030), vol. 19, issue 6: Oxford University Press , pp. 1031-1069, 2009. Abstract

Fèlix Bou "A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth", Proceedings of IPMU’08, pp. 1061-1067, 2008.

Fèlix Bou; Francesc Esteva; Lluís Godo "Exploring a Syntactic Notion of Modal Many-Valued Logics", Mathware & Soft Computing, vol. 15, issue 2, pp. 175-188, 2008. Abstract

Fèlix Bou; Francesco Paoli; Antonio Ledda; Hector Freytes "On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II", Soft Computing, vol. 12, issue 4, pp. 341-352, 2008.

Fèlix Bou; Francesc Esteva; Josep Maria Font; Angel Gil; Lluís Godo; Antoni Torrens; Ventura Verdú "T-norm based fuzzy logics preserving degrees of truth", IPMU 2008, pp. 1053-1060, 2008. Abstract

Fèlix Bou; Francesc Esteva; Lluís Godo "Modal systems based on many-valued logics", New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007, vol. I, pp. 177-182, 2007. Abstract

Fèlix Bou; Angel García-Cerdaña; Ventura Verdú "On two fragments with negation and without implication of the logic of residuated lattices", Archive for Mathematical Logic, vol. 45, pp. 615--647, 2006.

Fèlix Bou "Complexity of Strict Implication", Advances in modal logic Vol. 5: King's College Publications, pp. 1--16, 2005.

Fèlix Bou; Angel García-Cerdaña; Ventura Verdú "Analysis of two fragments of the logic of residuated lattices", Proceedings of CombLog'04. Workshop on Combination of Logics: Theory and Applications, pp. 175--186, 2004.

Fèlix Bou; Josep Maria Font; Jose Luis García Lapresta "On weakening the Deduction Theorem and strengthening Modus Ponens", Mathematical Logic Quaterly, vol. 50, no. 3, pp. 303--324, 2004.

Fèlix Bou; Angel García-Cerdaña; Ventura Verdú "On some Substructural Aspects of t-Norm Based Logics", Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems, pp. 545--552, 2004.

Fèlix Bou "Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity", Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004, pp. 38--40, 2004.

Siegfried Gottwald; Angel García-Cerdaña; Fèlix Bou "Axiomatizing monoidal logic. A correction to: "A treatise on many-valued logics''", Journal of Multiple-Valued Logic and Soft Computing, vol. 9, no. 4, pp. 427--433, 2003.

Fèlix Bou "Quasi-bisimulation: a new paradigm for the strict implication language", Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, August 7--13, 2003), pp. 82--83, 2003.

Fèlix Bou "Hilbert-style calculi for BPL and FPL", 1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002., pp. 20--30, 2002.