Cut-free proof systems for non-standard modal logics based on S5 - доклад на конференции | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

	ИСТИНА	Войти в систему Регистрация
	Интеллектуальная Система Тематического Исследования НАукометрических данных
	Главная Поиск Статистика О проекте Помощь

Cut-free proof systems for non-standard modal logics based on S5доклад на конференции