3 papers
math.LO2026
Recovery operators in quasi-Nelson logic: the prelinear case
Tommaso Flaminio, Lluis Godo, Umberto Rivieccio
This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive…
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…