О финитной аппроксимируемости модальных логик конечной глубины

Autor: Andrey Kudinov, Ilya Shapirovsky
Rok vydání: 2016
Předmět:
Zdroj: Uspekhi Matematicheskikh Nauk. 71:175-176
ISSN: 2305-2872
0042-1316
DOI: 10.4213/rm9686
Databáze: OpenAIRE