Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property.

Ilya Shapirovsky

Browse the full WoLLIC paper archive.