3 papers
cs.LO2026
Robust Classification in ML: A Topological Semantics Approach
Dominik Pichler, Mirko Tagliaferri
Robust classification is commonly understood as the stability of a classifier under small perturbations (often adversarial) of input data. In this paper, we propose a logical frame…
cs.LO2025
Support + Belief = Decision Trust
Alessandro Aldini, Agata Ciabattoni, Dominik Pichler +1
We present SBTrust, a logical framework designed to formalize decision trust. Our logic integrates a doxastic modality with a novel non-monotonic conditional operator that establis…
math.LO2025
A logical perspective on intending to keep a true secret
Alessandro Aldini, Davide Fazio, Pierluigi Graziani +2
Logical investigations of the notion of secrecy are typically concentrated on tools for deducing whether private information is well hidden from unauthorized, direct, or indirect a…