TY  - RPRT
TI  - Formula size game and model checking for modal substitution calculus
AU  - Veeti Ahvonen
AU  - Reijo Jaakkola
AU  - Antti Kuusisto
PY  - 2025
UR  - https://arxiv.org/abs/2505.07966
ID  - 2505.07966
ER  -