TY - RPRT TI - Characterization and definability in modal first-order fragments AU - Facundo Carreiro PY - 2010 UR - https://arxiv.org/abs/1011.4718 ID - 1011.4718 ER -