monadic second-order logic

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

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

Catégories :

second-order logic