• Home
  • monadic second-order logic

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/

Categories:

second-order logic