TY - RPRT TI - About the unification types of the modal logics determined by classes of deterministic frames AU - Philippe Balbiani AU - Çiğdem Gencer AU - Maryam Rostamigiv AU - Tinko Tinchev PY - 2020 UR - https://arxiv.org/abs/2004.07904 ID - 2004.07904 ER -