TY  - RPRT
TI  - Logics for Propositional Determinacy and Independence
AU  - Valentin Goranko
AU  - Antti Kuusisto
PY  - 2017
UR  - https://arxiv.org/abs/1609.07398
ID  - 1609.07398
ER  -