Quantum Probabilistic Dyadic Second-Order Logic.

Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong

Browse the full WoLLIC paper archive.