Finite model property of modal logics of finite depth

DOI10.1070/RM9686zbMath1338.03034MaRDI QIDQ2815679

Andreĭ Valer'Evich Kudinov, Ilya B. Shapirovsky

Publication date: 30 June 2016

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Mathematics Subject Classification ID

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

This page was built for publication: Finite model property of modal logics of finite depth