Çerti di membri ciù importanti de sta tradiçion de semantica formale comprendan Tarski, Carnap, Richard Montague e Donald Davidson.