TY  - RPRT
TI  - Intuitionistic modal logics: epistemic reasoning with distributed knowledge
AU  - Philippe Balbiani
PY  - 2025
UR  - https://arxiv.org/abs/2509.13038
ID  - 2509.13038
ER  -