#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).

Семинар пройдет в среду 16 октября.

ВРЕМЯ И МЕСТО ПОМЕНЯЛОСЬ!
Время проведения семинара 14:30.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите заранее на почту kudinov.andrey@gmail.com. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Станислав Кикоть

Название: О строго позитивных фрагментах модальных логик с аксиомой слияния

Аннотация.
В докладе речь пойдет о строго позитивных фрагментах модальных логик (т.е. импликациях между формулами, содержащими только конъюнкцию и ромбы) с аксиомой слияния.
Будут рассматриваться унимодальные логики, такие как 𝐊.𝟐, 𝐃.𝟐, 𝐃𝟒.𝟐 и 𝐒𝟒.𝟐 с аксиомой ⋄□𝑝→□⋄𝑝, а также произведения модальных логик из набора {𝐊,𝐃,𝐓,𝐃𝟒,𝐒𝟒}, которые содержат бимодальное слияние ⋄1□2𝑝 → □2⋄1𝑝. Оказывается, что влияние унимодальной аксиомы слияния на аксиоматизацию строго позитивных фрагментов довольно слабое. При наличии ⊤ → ⋄⊤ она просто исчезает и не вносит вклад в аксиоматизацию. Без ⊤ → ⋄⊤ она дает более слабую формулу ⋄⊤ → ⋄⋄⊤. А вот бимодальное слияние дает более сложные строго позитивные импликации.

➰ ВК