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

DOI10.1007/978-3-662-59533-6_37OpenAlexW2922001734MaRDI QIDQ2303620

Ilya B. Shapirovsky

Publication date: 4 March 2020

Full work available at URL: https://arxiv.org/abs/1903.04614

zbMATH Keywords

modal logicfinite model propertylocal finitenessmodal algebradirect product of framestuned partition

Mathematics Subject Classification ID

Logic in computer science (03B70)

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