Truth-value semantics (also commonly referred to as substitutional quantification) was advocated by Ruth Barcan Marcus for modal logics in the early 1960s and later championed by Dunn, Belnap, and Leblanc for standard first-order logic.
真值语义 (也称为“代换量化”)是 Ruth Barcan Marcus 在1960年代早期为模态逻辑提倡的，后来 Dunn、Belnap 和 Leblanc 把它拥戴到标准一阶逻辑。