Window operator

operator in modal logic

en-US/ˈwɪndoʊ ˈɑpəˌɹeɪdɚ/
en-GB/ˈwɪndəʊ ˈɒpəˌɹeɪtə/

カテゴリ：

modal operator