Logikfamilien

Gibt's irgendwo eine gute und übersichtliche Gegenüberstellung der 
aktuellen und nicht so ganz aktuellen Logikfamilien?

Z.B. HCT, ABT, AHC, LVC, AUP...

Ich bin da wohl nicht ganz auf dem Laufenden...