TY - GEN T1 - Characterizing Relative Frame Definability in Team Semantics via the Universal Modality PY - 2016/06/16 AU - Sano K AU - Virtema J ED - Y2 - 2024/12/23 ER -