monadic second-order logic (English, noun)
expansion: monadic second-order logic (countable and uncountable, plural monadic second-order logics)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.
tags: countable
uncountable
Forms:
form: monadic second-order logics
tags: plural