Ilya Shapirovsky: Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. WoLLIC 2019: 610-618