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

Ilya Shapirovsky. Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. In Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Volume 11541 of Lecture Notes in Computer Science, pages 610-618, Springer, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.