Presentations in reviewed conferences

 

2024

A. Vidal. TBA. Invited speaker at the special session on Algebraic Logic at the ASL Annual Meeting May 14–17, 2024. Iowa State University, Ames, (USA).

2023

A. Vidal. On the decidability of modal many-valued Logics. Invited speaker at Logic, Algebra and Truth Degrees , 11-15 September 2023, Tblisi (Georgia).

A. Vidal. Standard and general completeness of modal many-valued logics. Invited speaker at DaLí: Dynamic Logic – New trends and applications , 15-16 September 2023, Tblisi (Georgia).

A. Vidal. Modal fuzzy logics: diverging paths.. Invited tutorialist at PhDs in Logic 2023, 4-6 October 2023, Granada (Spain).

2022

A. Vidal. General and standard modal fuzzy logics. Invited speaker at Topology, Algebra and Categories in Logic, 20-24 June 2022, Coimbra (Portugal).

2019

R. Rodriguez, A. Vidal. Axiomatizing the crisp Gödel modal logic. In Topology, Algebra and Categories in Logic, 17-21 June 2019, Nice (France).

A. Vidal. An Algebraic Approach to Valued Constraint Satisfaction. Invited speaker at Second Algebra Week, 25-28 June 2019, Siena (Italy).

A. Vidal. Expressivity in some many-valued modal logics. Invited speaker at BLAST , 20-24 May 2019, Boulder, Colorado (USA).

A.Vidal. Many-valued modal logics. Invited speaker at Prague Gathering of Logicians, 9-10 May 2019, Prague (Czech Republic).

A. Vidal. On many-valued modal logics. Invited tutorialist at PhDs in Logic, 24-26 April 2019,Bern (Switzerland).

A. Vidal. On the axiomatizability of modal many-valued logics. Invited speaker at Sysmics, 21-25 January 2019,Amsterdam (Netherlands).

2018

A. Vidal. Non axiomatizability of the finitary Łukasiewicz modal logic. In Logic, Algebra and Truth Degrees , 28-31 August 2018, Bern (Switzerland).

A. Vidal. A logical view over the valued constraint satisfaction problem. In Algebra and Substructural Logics , 11-13 June 2018, Cagliari (Italy).

A. Vidal. Many-­valued modal log­ics: ax­iom­a­ti­z­ability is­sues. Invited speaker at SS of Logic Colloquium , 23-28 June 2018, Udine (Italy).

2017

A. Vidal. Computability on residuated lattices based modal logics. In ManyVal 2017, Toulouse (France)

M. Bofill, F. Manya, A. Vidal, M. Villaret. Lukasiewicz logic in practice In ManyVal 2017, Toulouse (France)

A. Vidal, F. Esteva, L. Godo. On finite-valued bimodal logics with an application to reasoning about preferences. In the Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2017) ., Warsaw (Poland)

R. Horcik, T. Moraschini, A. Vidal*. An Algebraic Approach to Valued Constraint Satisfaction. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm (Sweden).

A. Vidal*. Modal logics over finite residuated lattices In Topology, Algebra and Categories in Logic (TACL 2017), Prague (Czech Republic).

2016

A. Vidal. Undecidability of some Product Modal Logics. In Logic, Algebra and Truth Degrees (LATD 2016)),Phalaborwa (South Africa). ( pdf )

2015

A. Vidal*, F. Bou, F. Esteva, L. Godo, On modal expansions of left-continuous t-norm logics. In ManyVal 2015,Les Diablerets (Switzerland). ( pdf )

A. Vidal, F. Esteva*, L. Godo, On Strongly Standard Complete Fuzzy Logics: MTL*(Q) and its expansions. 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2015)

A. Vidal*, F. Esteva, L. Godo,On strong standard completeness of MTL*(Q) expansions. In Topology, Algebra and Categories in Logic (TACL 2015), Ischia (Italy). ** Plenary talk**

M. Bofill, F. Manyà*, A. Vidal, M. Villaret. The Complexity of 3-Valued Lukasiewicz Rules. 12th International Conference on Modelling Decisions for Artificial Intelligence (MDAI 2015)

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

2014

A. Vidal*, F. Esteva, L. Godo, Axiomatising a fuzzy modal logic over the standard product algebra. In Logic, Algebra and Truth Degrees (LATD 2014)),Vienna (Austria). ( pdf )

A. Vidal*, F. Esteva, L. Godo, A product modal logic. 35th Linz Seminar on Fuzzy Set Theory, Linz (Austria). ( pdf )

A. Vidal*, F. Esteva L. Godo, About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014), Zaragoza (Spain). ( pdf )

2013

A. Vidal*, F. Bou, Image-finite first-order structures. In ManyVal 2013 , Prage (Czech Republic). (pdf)

2012

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) . (Extended Version)