International Conference dedicated to the 70th anniversary of V. M. Levchuk
Algebra and Logic: Theory and Applications
Non-classical Logics
| 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 |