TY  - RPRT
TI  - Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)
AU  - Bartosz Bednarczyk
AU  - Stéphane Demri
AU  - Raul Fervari
AU  - Alessio Mansutti
PY  - 2020
UR  - https://arxiv.org/abs/2007.08598
ID  - 2007.08598
ER  -