De dicto modalities
De re modalities
Declarative sentence
Designators
Designators and individual constants (summary)
Designators and individual constants
Designators and tableaux rules
Designators, purely referential occurrences of
Disjunction
Domain of quantification
Empty domain
Empty domain: disallowing
Empty relation
Entails
Equivalence class
Equivalence relations
Exactly n
Exclusive "or"
Existential Quantifier
"Exists", translating