3 papers
math.LO2026
Generalization of terms via universal algebra
Tommaso Flaminio, Sara Ugolini
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key…
cs.LO2025
Conditionals Based on Selection Functions, Modal Operators and Probabilities
Tommaso Flaminio, Lluis Godo, Gluliano Rosella
Methods for probability updating, of which Bayesian conditionalization is the most well-known and widely used, are modeling tools that aim to represent the process of modifying an…
cs.AI2025
On Lockean beliefs that are deductively closed and minimal change
Tommaso Flaminio, Lluis Godo, Ramón Pino Pérez +1
Within the formal setting of the Lockean thesis, an agent belief set is defined in terms of degrees of confidence and these are described in probabilistic terms. This approach is o…