Modal logics of finite direct powers of $\omega$ have the finite model property

DOI10.1007/978-3-662-59533-6_37zbMath1530.03087arXiv1903.04614MaRDI QIDQ6315426

Ilya B. Shapirovsky

Publication date: 11 March 2019

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Modal logics of finite direct powers of $\omega$ have the finite model property