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