Inkele vaan de mies prominente leie vaan deze traditie vaan formele semantiek zien Tarski, Carnap, Richard Montague en Donald Davidson.