Д.С. Шамканов. Об окрестностной семантике логики доказуемости Линдстрёма