Standard Completeness for Extensions of MTL: An Automated Approach. - Paolo Baldi; Agata Ciabattoni; Lara Spendier (WoLLIC, 2012)

A note on standard completeness for some extensions of uninorm logic. - Paolo Baldi (Soft Comput., 2014)

Standard Completeness for Uninorm-Based Logics. - Paolo Baldi; Agata Ciabattoni (ISMVL, 2015)

Uniform proofs of standard completeness for extensions of first-order MTL. - Paolo Baldi; Agata Ciabattoni (Theor. Comput. Sci., 2015)

A Calculus for Rational Łukasiewicz Logic and Related Systems. - Paolo Baldi (IPMU (2), 2016)

From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. - Paolo Baldi; Christian G. Fermüller (EUSFLAT/IWIFSGN (1), 2017)

Standard completeness for extensions of IMTL. - Paolo Baldi; Agata Ciabattoni; Francesca Gulisano (FUZZ-IEEE, 2017)

Translating Classical Probability Logics into Modal Fuzzy Logics. - Paolo Baldi; Petr Cintula; Carles Noguera (EUSFLAT Conf., 2019)

Depth-Bounded Approximations of Probability. - Paolo Baldi; Marcello D'Agostino; Hykel Hosni (IPMU (3), 2020)

On fuzzification mechanisms for unary quantification. - Paolo Baldi; Christian G. Fermüller; Matthias F. J. Hofer (Fuzzy Sets Syst., 2020)

Depth-bounded Belief functions. - Paolo Baldi; Hykel Hosni (Int. J. Approx. Reason., 2020)

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. - Paolo Baldi; Petr Cintula; Carles Noguera (Int. J. Comput. Intell. Syst., 2020)

Logical Approximations of Qualitative Probability. - Paolo Baldi; Hykel Hosni (ISIPTA, 2021)

Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. - Fabio Aurelio D'Asaro; Paolo Baldi; Giuseppe Primiero (KR, 2021)

Logic-Based Approximations of Preferences. - Paolo Baldi (EUMAS, 2023)

A logic-based tractable approximation of probability. - Paolo Baldi; Hykel Hosni (J. Log. Comput., 2023)

Weighted Assumption Based Argumentation to reason about ethical principles and actions. - Paolo Baldi; Fabio Aurelio D'Asaro; Abeer Dyoub; Francesca A. Lisi (CILC, 2025)