Window operator

operator in modal logic

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

หมวดหมู่:

modal operator