Digging through old lj entries I found this weird zoo of (classical, Hilbert-style-presented) modal logics:
http://www.cc.utah.edu/~nahaj/logic/structures/index.html

I am awfully fond of these big taxonomic hypertext blobs, also e.g. https://complexityzoo.uwaterloo.ca/Complexity_Zoo