Participant | |
---|---|
1 |
Bashmakov S. I., Kosheleva A. V., Rybakov V. V. Report Об унификации и пассивных правилах в многомодальной временной логике линейного времени и знания LFPK On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK |
2 |
Koshcheeva A. K. Report Новая константа в суперинтуиционистской логике L3: аксиоматика |
3 |
Lykyanchuk A. N. Report Временная интранзитивная логика LTK_r Temporal intransitive logic LTK_r |
4 |
Rimackij V. V. Report Унификация временной логики с оператором «Next» Unification of a temporal logic with the "Next" operator |
5 |
Shilov N. V. Report Метод схем программ для разрешимости пропозициональных программных логик Program Schemata Technique for Propositional Program Logics |