New at #SEP: Infinitary Logic https://plato.stanford.edu/entries/logic-infinitary/