Window operator

operator in modal logic

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

קטגוריות:

modal operator