CA | ES | EN
Lluís
Lluís
 
Godo
Godo

Research Professor
Research Professor


Lluís
Lluís
 
Godo
Godo
Research Professor
Research Professor

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
431857
431857
godo@iiia.csic.es
godo@iiia.csic.es
Research areas:
  • Algebraic logic
  • Fuzzy Logic
  • Non-classical logic
  • Approximate Reasoning and Soft computing
  • Inconsitency-tolerant reasoning
  • Modal Logic
  • Probability Logic
  • Uncertainty
  • Paraconsistent logic
  • Conditional logics
  • Argumentation
  • Preferences
  • Belief Revision
  • Nonmonotonic Reasoning
  • Multiagent Systems
  • Normative Systems
  • Algebraic logic
  • Fuzzy Logic
  • Non-classical logic
  • Approximate Reasoning and Soft computing
  • Inconsitency-tolerant reasoning
  • Modal Logic
  • Probability Logic
  • Uncertainty
  • Paraconsistent logic
  • Conditional logics
  • Argumentation
  • Preferences
  • Belief Revision
  • Nonmonotonic Reasoning
  • Multiagent Systems
  • Normative Systems
Impact areas:
  • Tourism
  • Tourism
SDGs:
In Press
Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (In Press). Three-valued Fuzzy Logics. Paul Égré, & Lorenzo Rossi (Eds.), Handbook of Trivalent Logics (pp 775-826). MIT Press. [BibTeX]  [PDF]
2027
M. Eugenia Cornejo,  Francesc Esteva,  Luis Fariñas Cerro,  Lluís Godo,  & Jesús Medina (2027). A Multi-adjoint Lattice Logic Based on Gödel Logic. Tü{\\H{u}}-Szabó Boldizsár, Pedro Cabalar, María Eugenia Cornejo, László T. Kóczy, Jesús Medina, & Juan Moreno-García (Eds.), Computational Intelligence and Mathematics for Tackling Complex Problems 7 (pp 139--145). Springer Nature Switzerland. https://doi.org/10.1007/978-3-032-20725-8_16. [BibTeX]  [PDF]
2026
Tommaso Flaminio,  Lluís Godo,  Sara Ugolini,  & Francesc Esteva (2026). An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic. Henrique Antunes, Alfredo Roque Freire, & Abilio Rodrigues (Eds.), Walter Carnielli on Reasoning, Paraconsistency, and Probability (pp 283--322). Springer Nature Switzerland. https://doi.org/10.1007/978-3-032-11027-5_12. [BibTeX]  [PDF]
María Eugenia Cornejo,  Francesc Esteva,  Luis Fariñas,  Lluís Godo,  & Jesús Medina (2026). Bounded and multi-adjoint lattice algebraizable logics. International Journal of Approximate Reasoning, 195, 109682. https://doi.org/10.1016/j.ijar.2026.109682. [BibTeX]  [PDF]
Didier Dubois,  Lluís Godo,  & Agnès Rico (2026). Implication-Based Qualitative Integrals and a Logical Formalization. Barbara et al. Vantaggi (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2026), CCIS 3021 (pp. 408--422). Springer Nature Switzerland. https://doi.org/10.1007/978-3-032-29000-7_29. [BibTeX]  [PDF]
Joan Gispert,  Lluís Godo,  & Francesc Esteva (2026). Non-falsity and general threshold-preserving companions of MTL logics. International Journal of Approximate Reasoning, 196, 109699. https://doi.org/10.1016/j.ijar.2026.109699. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  Ramón Pino Pérez,  Ricardo O. Rodriguez,  & Lluis Subirana (2026). Probabilistic Epistemic Spaces, Lockean Beliefs, Stable Beliefs and Change. Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisboa, Portugal, July 17-19, 2026 . CEUR Workshop Proceedings, Vol = 4239. https://ceur-ws.org/Vol-4239/paper-Flaminio-9.pdf. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Umberto Rivieccio (2026). Recovery operators in quasi-Nelson logic: the prelinear case. Journal of Logic and Computation, 36, exag020. https://doi.org/10.1093/logcom/exag020. [BibTeX]  [PDF]
Inés Couso,  & Lluís Godo (2026). Revisiting fuzzy multisets: clarifying ambiguities and the underlying algebraic structure. Computational and Applied Mathematics, 45, 156. https://doi.org/10.1007/s40314-025-03483-6. [BibTeX]  [PDF]
Marcelo Finger,  Tommaso Flaminio,  Lluís Godo,  Felip Many\à,  & Sandro Preto (2026). Satisfiability for Probability Modalities. M. Hajdu al. (Eds.), Proc. of Workshop on Practical Aspects of Automated Reasoning (PAAR) 2026, Lisboa, Portugal, July 25, 2026 . CEUR Workshop Proceedings, Vol = 4241. https://ceur-ws.org/Vol-4241/paper5.pdf. [BibTeX]  [PDF]
María Eugenia Cornejo,  Francesc Esteva,  Luis Fariñas,  Lluís Godo,  & Jesús Medina (2026). Standard completeness of multi-adjoint G\"odel logic. László Kóczy, & Jesús Medina (Eds.), 17th European Symposium on Computational Intelligence and Mathematics (ESCIM 2026), May 10th - 13th, 2026 Timisoara, Romania -- Book of Abstracts (pp. 36-37). Universidad de Cádiz. [BibTeX]  [PDF]
2025
María Eugenia Cornejo,  Francesc Esteva,  Luis Fariñas,  Lluís Godo,  & Jesús Medina (2025). A multi-adjoint lattice logic based on Gödel logic. László Kóczy, & Jesús Medina (Eds.), 16th European Symposium on Computational Intelligence and Mathematics, ESCIM 2025, Book of Abstracts . Universidad de Cádiz. [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  & Lluís Godo (2025). Axiomatising non falsity and threshold preserving variants of MTL logics. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 99-103). Università degli Studi di Siena, DIISM. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (2025). Conditionals based on selection functions, modal operators and probabilities. Adam Bjorndahl (Eds.), Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2025), D\"usseldorf, Germany, July 14-16, 2025 . Electronic Proceedings in Theoretical Computer Science 437, 128-139. https://doi.org/10.4204/EPTCS.437.14. [BibTeX]  [PDF]
Juan Carlos L. Teze,  Lluís Godo,  & Gerardo I. Simari (2025). Defeasible Argumentation-based Epistemic Planning with Preferences. Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 12, 787-823. https://www.collegepublications.co.uk/ifcolog/?00071. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  Ramón Pino Pérez,  & Lluis Subirana (2025). Minimal and Credibility Limited Iterated Revision of Deductively Closed Lockean Belief Sets. Maria Vanina Martinez, Nina Pardal, & Kai Sauerwald (Eds.), Proceedings of the Workshop on Foundations and Future of Change in Artificial Intelligence (FCAI 2025), co-located with ECAI 2025 (pp. 2--7). CEUR-WS.org. https://ceur-ws.org/Vol-4069/paper1.pdf. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  Ramón Pino Pérez,  & Lluis Subirana (2025). On Lockean Beliefs that are Deductively Closed and Minimal Change. Giovanni Casini, Besik Dundua, & Temur Kutsia (Eds.), Logics in Artificial Intelligence - 19th European Conference, {JELIA}2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part {II} (pp. 28--42). Springer. https://doi.org/10.1007/978-3-032-04590-4_3. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (2025). On Measuring the Possibility of Selection Function-Based Conditionals, General Updates, and Qualitative Capacities. Kai Sauerwald, & Matthias Thimm (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, {ECSQARU}2025, Hagen, Germany, September 23-26, 2025, Proceedings (pp. 347--361). Springer. https://doi.org/10.1007/978-3-032-05134-9_24. [BibTeX]
Joan Gispert,  Francesc Esteva,  Lluís Godo,  & Marcelo Coniglio (2025). On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions. Logic Journal of the IGPL, 33, jzae126. https://doi.org/10.1093/jigpal/jzae126. [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  & Lluís Godo (2025). On the Non-falsity and Threshold Preserving Variants of MTL Logics. Michal Baczynski, Bernard De Baets, Michal Holcapek, Vladik Kreinovich, & Jes{\\'{u}}s Medina (Eds.), Advances in Fuzzy Logic and Technology - 14th Conference of the European Society for Fuzzy Logic and Technology, {EUSFLAT}2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part {I} (pp. 335--346). Springer. https://doi.org/10.1007/978-3-031-97225-6_27. [BibTeX]  [PDF]