TY - CONF T1 - Characterizing relative frame definability in team semantics via the universal modality JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2016/01/01 AU - Sano K AU - Virtema J ED - DO - DOI: 10.1007/978-3-662-52921-8_24 SN - 9783662529201 VL - 9803 LNCS SP - 392 EP - 409 Y2 - 2024/12/22 ER -