2 papers
cs.LO2026
A Logical 3-valued Semantics for Nondeterministic Choice
Alessandro Aldini, Pierluigi Graziani, Claudio Antares Mezzina +1
We propose a logical formalisation of computational errors in reactive, nondeterministic systems. To this aim, we introduce a new three-valued symmetric nondeterministic disjunctio…
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…