Автор работ по семантической интерпретации и квантификации модальной логики.

Процесс квантификации цели завершён, когда получен набор количественно измеримых подцелей, связанных с показателями функционирования динамических подсистем.

Бихевиористы, склоняясь к позитивизму, руководствовались такими принципами, как повторяемость, верификация (проверка выводов эмпирическими данными), квантификация (точная регистрация данных), чёткое различение эмпирического и этического и др.

Даже такой краткий набросок семантики возможных миров говорит о важности спецификации тех возможных миров, по которым происходит квантификация, и здесь мнения расходятся.