Бабёнышев Сергей Валерьевич

Публикации в базе данных Math-Net.Ru

1. A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents
   
   Журн. СФУ. Сер. Матем. и физ., 1:4 (2008),  399–409
2. Базисы допустимых правил вывода модальных логик $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$
   
   Алгебра и логика, 32:2 (1993),  117–130
3. Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
   
   Алгебра и логика, 31:4 (1992),  341–359