In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society

Finite model property of modal logics of finite depth

A. Kudinov, I. Shapirovsky

Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute)

MSC: 03B45

Presented: S. K. Lando
Accepted: 23.06.2015

DOI: 10.4213/rm9686

 English version: Russian Mathematical Surveys, 2016, 71:1, 164–166

Bibliographic databases:

• 
• 
• 
• 
• 
•