Amanda Amanda Vidal Vidal

Industrial PhD Student Industrial PhD Student


Logic and Reasoning Logic and Reasoning




      Research areas:

          Impact areas:






                  Francesc EstevaLluís GodoAmanda Vidal; A Modal Account of Preference in a Fuzzy Setting. 2018.  [PDF]  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018; 2018.  [PDF]  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; On finite-valued bimodal logics with an application to reasoning about preferences. Advances in Fuzzy Logic and Technology, Proc. of EUSFLAT 2017; 2018.  [PDF]  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation; 2017.  [PDF]  [BibTeX]
                  Amanda VidalFélix BouFrancesc EstevaLluís Godo; On strong standard completeness in some MTL$_\Delta$ expansions. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.  [PDF]  [BibTeX]
                  Miquel BofillFelip ManyàAmanda VidalMateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015.  [BibTeX]
                  Amanda VidalLluís GodoFrancesc EstevaFèlix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. 2015.  [BibTeX]
                  Amanda VidalLluís GodoFrancesc EstevaFélix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015; 2015.  [PDF]  [BibTeX]
                  Amanda VidalLluís GodoFrancesc Esteva; On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015; 2015.  [PDF]  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015); 2015.  [PDF]  [BibTeX]
                  Miquel BofillFelip ManyàAmanda VidalMateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 2015.  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014); 2014.  [PDF]  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; A product modal logic. 35th Linz Seminar on Fuzzy Set Theory; 2014.  [PDF]  [BibTeX]
                  Amanda VidalFrancesc EstevaLluís Godo; Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014); 2014.  [PDF]  [BibTeX]
                  Amanda Vidal; Progress report on a modal extension of the solver NiBLos. 2014.  [BibTeX]
                  Amanda VidalFèlix Bou; Image-finite first-order structures. 2013.  [PDF]  [BibTeX]
                  Amanda VidalFèlix BouLluís Godo; NiBLoS: a general SMT-based solver for logics of BL-chains. 2013.  [PDF]  [BibTeX]
                  Amanda VidalFèlix BouLluís Godo; An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012); 2012.  [PDF]  [BibTeX]