The distinctions between the three broad classes of approaches can sometimes be vague, but all known approaches to formal semantics use the above techniques, or some combination thereof.
Τα όρια μεταξύ των παραπάνω κλάσεων μερικές φορές μπορεί να είναι δυσδιάκριτα αλλά όλες οι γνωστές προσεγγίσεις στην τυπική σημασιολογία χρησιμοποιούν κάποια από τις παραπάνω τεχνικές ή ένα συνδυασμό τους.