Window operator

operator in modal logic

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

Categories:

modal operator