Неклассические логики

Алгебра и Логика: Теория и Приложения

	Участник
1	Башмаков С. И., Кошелева А. В., Рыбаков В. В. Доклад Об унификации и пассивных правилах в многомодальной временной логике линейного времени и знания LFPK On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK
2	Кощеева А. К. Доклад Новая константа в суперинтуиционистской логике L3: аксиоматика
3	Лукьянчук А. Н. Доклад Временная интранзитивная логика LTK_r Temporal intransitive logic LTK_r
4	Римацкий В. В. Доклад Унификация временной логики с оператором «Next» Unification of a temporal logic with the "Next" operator
5	Шилов Н. В. Доклад Метод схем программ для разрешимости пропозициональных программных логик Program Schemata Technique for Propositional Program Logics