  In [Bon20], model theoretic characterizations of several established large
cardinal notions were given. We continue this work, by establishing such
characterizations for Woodin cardinals (and variants), various virtual large
cardinals, and subtle cardinals.

Logic