Семинары: Т. Г. Пшеницын, Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью

СЕМИНАРЫ


Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 20 марта 2024 г. 18:15, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)

Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью Т. Г. Пшеницын Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Аннотация: В докладе будет изложена конструкция, позволяющая свести множество вычислимых инфинитарных формул ранга меньше, чем $\omega^\omega$, к множеству секвенций, выводимых в определённом в предыдущем докладе фрагменте инфинитарной логики действий с экспоненциальной модальностью.