TY - RPRT TI - Quillen Model Structures-Based Notions of Locality of Logics over Finite Models AU - Hendrick Maia PY - 2020 UR - https://arxiv.org/abs/2005.09135 ID - 2005.09135 ER -