CA | ES | EN
Tommaso
Tommaso
 
Flaminio
Flaminio

Tenured Scientist
Tenured Scientist


Tommaso
Tommaso
 
Flaminio
Flaminio
Tenured Scientist
Tenured Scientist

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
431841
431841
tommaso@iiia.csic.es
tommaso@iiia.csic.es
Research areas:
  • Fuzzy Logic
  • Modal Logic
  • Probability Logic
  • Algebraic logic
  • Approximate Reasoning and Soft computing
  • Conditional logics
  • Uncertainty
  • Belief Revision
  • Nonmonotonic Reasoning
  • Inconsitency-tolerant reasoning
  • Fuzzy Logic
  • Modal Logic
  • Probability Logic
  • Algebraic logic
  • Approximate Reasoning and Soft computing
  • Conditional logics
  • Uncertainty
  • Belief Revision
  • Nonmonotonic Reasoning
  • Inconsitency-tolerant reasoning
Impact areas:
SDGs:
In Press
Tommaso Flaminio,  Lluís Godo,  Sara Ugolini,  & Francesc Esteva (In Press). An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. H. Antunes, A. Rodrigues, & A. Roque (Eds.), Volume in Honour of Walter Carnielli. Springer. [BibTeX]  [PDF]
2025
Tommaso Flaminio,  Francesco Manfucci,  & Sara Ugolini (2025). Conditionals as quotients in Boolean algebras. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 150-153). Università degli Studi di Siena, DIISM. [BibTeX]
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]
Tommaso Flaminio,  & Sara Ugolini (2025). Generalization of terms up to equational theory. The Logic Algebra and Truth Degrees (LATD) 2025 - Abstract Booklet (pp. 237-242). Università degli Studi di Siena, DIISM. [BibTeX]
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]
Tommaso Flaminio,  & Lluis Subirana (2025). Quantitative Lockean Thesis and its Logical Representation. M. Baczynski, B. De Baets, M. Holcapek, V. Kreinovich, & J. Medina (Eds.), Advances in Fuzzy Logic and Technology (pp. 347--358). Springer Nature Switzerland. [BibTeX]
Lydia Castronovo,  Tommaso Flaminio,  Lluís Godo,  & Giuseppe Sanfilippo (2025). Towards an Algebraic and Probabilistic Setting for Iterated Boolean Conditionals. Kai Sauerwald, & Matthias Thimm (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertaint-18th European Conference, {ECSQARU}2025, Hagen, Germany, September 23-26, 2025, Proceedings (pp. 331--346). Springer. https://doi.org/10.1007/978-3-032-05134-9\_23. [BibTeX]
Tommaso Flaminio,  Serafina Lapenta,  & Sebastiano Napolitano (2025). Unimodular triangulations in Łukasiewicz logic: Complexity bounds of probabilistic coherence. International Journal of Approximate Reasoning, 187, 109565. https://doi.org/10.1016/j.ijar.2025.109565. [BibTeX]
2024
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Oscar Rodríguez (2024). Algebras and relational frames for Gödel modal logic and some of its extensions. M. Coniglio, E. Koubychkina, & D. Zaitsev (Eds.), Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev (pp 179-216). Springer (Also as CoRR, abs/2110.02528. http://arxiv.org/abs/2110.02528). https://doi.org/10.1007/978-3-031-56595-3_7. [BibTeX]  [PDF]
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2024). A logico-geometric comparison of coherence for non-additive uncertainty measures. Annals of Pure and Applied Logic, 175, 103342. https://doi.org/10.1016/j.apal.2023.103342. [BibTeX]
Tommaso Flaminio,  & Lluís Godo (2024). Conditional Objects as Possibilistic Variables. Zied Bouraoui, & Srdjan Vesic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings (pp. 372--385). Springer. https://doi.org/10.1007/978-3-031-45608-4_28. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (2024). Conditional Possibilities, Possibilistic Imaging and Boolean Algebras of Conditionals. Book of Abstracts, IPMU 2024 . [BibTeX]
Tommaso Flaminio,  & Sara Ugolini (2024). Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic, 175, 103337. https://doi.org/10.1016/j.apal.2023.103337. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Giuliano Rosella (2024). Possibility of Conditionals and Conditional Possibilities: From a Triviality Result to Possibilistic Imaging. Pierre Marquis, Magdalena Ortiz, & Maurice Pagnucco (Eds.), Proc. of the 21st International Conference on Principles of Knowledge Representation and Reasoning - Main Track (KR 2024) (pp. 372-382). https://doi.org/10.24963/kr.2024/35. [BibTeX]  [PDF]
2023
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2023). A logico-geometric comparison of coherence for non-additive uncertainty measures. Annals of Pure and Applied Logic, 103342. https://doi.org/10.1016/j.apal.2023.103342. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  Nicolás Madrid,  & Manuel Ojeda-Aciego (2023). A Logic to Reason About f-Indices of Inclusion over $\L_n$. Sebastia Massanet al. (Eds.), Fuzzy Logic and Technology, and Aggregation Operators. EUSFLAT 2023, AGOP 2023, Lecture Notes in Artificial Intelligence vol. 14069 (pp. 530--539). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-39965-7_44. [BibTeX]  [PDF]
Esther Anna Corsi,  Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2023). A modal logic for uncertainty: a completeness theorem. 13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023 (pp. 119-129). [BibTeX]  [PDF]
Giuliano Rosella,  Tommaso Flaminio,  & Stefano Bonzio (2023). Counterfactuals as modal conditionals, and their probability. Artificial Intelligence, 323, 103970. https://doi.org/10.1016/j.artint.2023.103970. [BibTeX]  [PDF]