Nojbarzij prominentne czōnki tradycyje formalnyj symantyki to Tarski, Carnap, Richard Montague i Donald Davidson.