Daži nu formaluos semantikys tradicejis izcyluokajim bīdrim ir Tarskis, Karnaps, Ričards Montags i Donalds Deividsons.