TY - RPRT TI - Algebraic Characterization of Forest Logics AU - Kitti Gelle AU - Szabolcs Ivan PY - 2017 UR - https://arxiv.org/abs/1506.03843 ID - 1506.03843 ER -