TY - CONF T1 - Characterizing 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 - 2015/01/01 AU - Sano K AU - Virtema J ED - DO - DOI: 10.1007/978-3-662-47709-0_11 SN - 9783662477083 VL - 9160 SP - 140 EP - 155 Y2 - 2024/09/19 ER -