|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Some new examples of Kripke complete modal predicate logicsдоклад на конференции
- Автор: Шехтман В.Б.
- Международная Конференция : Advances in Modal Logic (AiML 2022)
- Даты проведения конференции: 22-25 августа 2022
- Дата доклада: 24 августа 2022
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Ренн, France
-
Аннотация доклада:
В докладе обсуждаются новые примеры полных по Крипке модальных предикатных логик и метод доказательства полноты: селективная фильтрация канонических моделей.
- Добавил в систему: Шехтман Валентин Борисович