TY  - RPRT
TI  - Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
AU  - Reijo Jaakkola
PY  - 2022
UR  - https://arxiv.org/abs/2210.01034
ID  - 2210.01034
ER  -