Publications

 

Journal Papers

A. Vidal. Undecidability and non-axiomatizability of modal many-valued logics. The Journal of Symbolic Logic. 87(4), 1576-1605 (2022). DOI.

C.M. Li, F. Manyà, J.R. Soler, A. Vidal. Clausal Forms in MaxSAT and MinSAT. International Journal of Computational Intelligence Systems, 15(1), 97 (2022). DOI

R. Rodriguez, A. Vidal. Axiomatization of Crisp Gödel Modal Logic Studia Logica. Vol. 109, pp. 367–395 (2021) DOI. ( arXiv)

A. Vidal. On Trasitive modal many-valued logics. Fuzzy Sets and Systems Vol. 407, pp. 97-114 (2021) DOI. (arXiv)

A. Vidal, F. Esteva, L. Godo. Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets and Systems Vol. 401, pp. 163-188 (2020) DOI. (arXiv)

P. Dellunde, A.Vidal. Truth-Preservation under Fuzzy pp-Formulas. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 27, No. Suppl. 1. pp 89-105 (2019) DOI (arXiv).

M. Bofill, F. Manyà, A. Vidal, M. Villaret. New complexity results for Lukasiewicz logic. Soft Computing, Vol 23, Issue 7, pp 2187–2197. (2018) DOI .

A. Vidal, F. Bou, F. Esteva, L. Godo. On strong standard completeness in some MTL_Delta expansions. Soft Computing, Special Issue In Memoriam Franco Montagna. Vol 21, Issue 125, pp 125–147.(2017) DOI (pdf)

A. Vidal, F. Esteva, L. Godo. On modal extensions of product fuzzy logic. Journal of Logic and Computation Vol. 27, Issue 1, pp. 299–336. (2017) DOI (pdf)

A. Vidal. MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions. Information Sciences. Vol 372, pp 709-730.(2016) DOI (pdf)

Indexed Proceedings & Book Chapters

F. Manya, A. Vidal, Z. Hanikova. The MaxSAT Problem in the Real-Valued MV-Algebra. In Proceedings of TABLEAUX 2023. Ramanayake, R., Urban, J. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. . Lecture Notes in Computer Science(), vol 14278. Springer, Cham. DOI

F. Esteva, L. Godo, A. Vidal. A modal account of preference in a fuzzy setting. Chapter in Soft Computing Based Optimization and Decision Models. Studies in Fuzziness and Soft Computing, vol 360. Springer, Champp. pp. 241-260. DOI

R. Horcik, T. Moraschini, A. Vidal. An Algebraic Approach to Valued Constraint Satisfaction. In Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Leibniz International Proceedings in Informatics (LIPIcs) Vol. 82, N. 42, pp. 1-20. DOI

A. Vidal, F. Esteva, L. Godo. On finite-valued bimodal logics with an application to reasoning about preferences. In Proceedings of the Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2017) Advances in Intelligent Systems and Computing (2017) Vol. 643, pp 505-517. DOI

M. Bofill, F. Manyà, A. Vidal, M. Villaret. The Complexity of 3-Valued \L ukasiewicz Rules. In proceedings of 12th International Conference on Modelling Decisions for Artificial Intelligence (MDAI 2015). Lecture Notes in Computer Science, Vol 9321, pp. 221-229 DOI

M. Bofill, F. Manyà, A. Vidal, M. Villaret, Finding Hard Instances of Satisfiability in Lukasiewicz Logics .In proceedings of 45th IEEE International Symposium in Many Valued Logics (ISMVL 2015) DOI (pdf)

A. Vidal, F. Esteva, L. Godo, On Strongly Standard Complete Fuzzy Logics: MTL*(Q) and its expansions. In proceedings of IFSA-EUSFLAT 2015, DOI

A. Vidal, F. Bou, L. Godo, An SMT-based solver for continuous t-norm based logics. In proceedings of 6th Scalable Uncertainty Management (SUM 2012). Lecture Notes in Computer Science, vol 7520. pp 633-640. DOI (Extended Version)