Dictionary

Words, grammatical forms and meanings linked to the ontology.

second-order logic en · NOUN

Meanings

(uncountable, usually) A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

Forms

Spelling	Features	Labels	Source
second-order logics	Number=Plur		lexicographic

Deriveds

monadic second-order logic

Translations (1)

pl logika drugiego rzędu (first-order logic extended by quantification over relations)