monadic second-order logic

form of second‐order logic in which one can quantify over sets but not over predicates

en-GB/mɒnædɪk sɪˈkɒnd - ˈɔːdə ˈlɒd͡ʒɪk/
en-US/məˈnædɪk ˈsɛkənd - ˈɑɹdɚ ˈlɑd͡ʒɪk/

Kategori:

second-order logic