$35.$ Which logic is used to model binary relations?

$-$ A$)$ Modal

$-$ B$)$ Predicate

$-$ C$)$ Propositional

$-$ D$)$ Fuzzy