Finite model property of modal logics of finite depth

Autor:	Ilya Shapirovsky, Andrey Kudinov
Rok vydání:	2016
Předmět:	Modal 010201 computation theory & mathematics Finite model property General Mathematics 010102 general mathematics Mathematical analysis 0102 computer and information sciences 0101 mathematics 01 natural sciences Mathematics
Zdroj:	Russian Mathematical Surveys. 71:164-166
ISSN:	1468-4829 0036-0279
DOI:	10.1070/rm9686
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::494aad2c4e3100effb707517236a4894 https://doi.org/10.1070/rm9686 Zobrazit plný text záznamu