TY  - RPRT
TI  - A Logical 3-valued Semantics for Nondeterministic Choice
AU  - Alessandro Aldini
AU  - Pierluigi Graziani
AU  - Claudio Antares Mezzina
AU  - Gandolfo Vergottini
PY  - 2026
DO  - 10.4204/eptcs.449.1
UR  - https://arxiv.org/abs/2607.20178
ID  - 2607.20178
ER  -