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