Outcomes
In this page you will find a list of scientific publications that are outcome of our project. The list of outcomes is in chronological order.
T. Flaminio, L. Godo, P. Menchón, R. O. Rodriguez. On the role of Dunn and Fisher Servi axioms in relational frames for Gödel modal logics. Third Int. Conference on Non-Classical Modal and Predicate Logics. Bochum, Germany, 2021.
G. Badia, C. Noguera. Lindström theorem in graded model theory. Annals of Pure and Applied Logic 172(2): 102916, 2021.
G. Badia, C. Noguera. A 0-1 Law in Mathematical Fuzzy Logic. IEEE Transactions on Fuzzy Systems, doi: 10.1109/TFUZZ.2021.3131200. 2021
P. Dellunde, L. Godo, A. Vidal. Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report. Proceeding of JELIA 2021: 25--32, 2021. (pdf)
M.E. Coniglio, F. Esteva, T. Flaminio, L. Godo. On the expressive power of Łukasiewicz square operator. Journal of Logic and Computation 32(4): 767-807, 2022.
T. Flaminio, L. Godo, S. Ugolini. An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. In Proceedings of SUM’22. LNAI 13562: 124-138, 2022.
E.A. Corsi, T. Flaminio, H. Hosni. Towards a unified view on logics for uncertainty. In Proceedings of SUM’22. LNAI 13562: 329-337, 2022.
M. Bílková, S. Frittella, D. Kozhemiachenko. Paraconsistent Gödel Modal Logic. In Proceedings of IJCAR 2022. LNCS 13385: 429-448, 2022.
T. Flaminio, L. Godo, Angelo Gilio, Giuseppe Sanfilippo. Canonical Extensions of Conditional Probabilities and Compound Conditionals. In Proceedings of IPMU 2022: 584-597, 2022.
R. O. Rodriguez, O. F. Tuyt, F. Esteva, L. Godo. Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions. Studia Logica 110: 1081-1114, 2022.
T. Flaminio, L. Godo, Angelo Gilio, Giuseppe Sanfilippo. Compound conditionals as random quantities and Boolean algebras. In Proceedings of KR 2022: 141-151.
B. Xavier, C. Oarte, E. Pimentel. A linear logic framework for multimodal logics. Mathematical Structures in Computer Science 32(9), 1176-1204, 2023.
M. Bílková, S. Frittella, D. Kozhemiachenko, O. Majer. Qualitative reasoning in a two-layered framework. International Journal of Approximate Reasoning, 154: 84-108, 2023.
T. Flaminio, L. Godo, P. Menchón, R.O. Rodriguez. Algebras and relational frames for Gödel modal logic and some of its extensions. In Coniglio, M. E., Kubyshkina, E. & Zaitsev, D. V. (eds), Many-valued semantics and modal logics. Essays in Honour of Yu. V. Ivlev, Springer, forthcoming (pdf).
R. Gruszczynski, P. Menchón. From contact relations to modal operators, and back. Studia Logica. https://doi.org/10.1007/s11225-023-10036-7, 2023.
G. Badia, C. Noguera, X. Caicedo. Frame definability in finitely valued modal logics. Annals of Pure and Applied Logic 174(7), 103273, 2023.
G. Rosella, T. Flaminio, S. Bonzio. Counterfactuals as modal conditionals, and their probability. Artificial Intelligence 323, 103970, 2023.
M. Menni. Positive Rings. Forum Mathematicum. doi.org/10.1515/forum-2022-0271
T. Flaminio, S. Ugolini. Enconding de Finetti's coherence in Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic, in print, 2023.