Публикации

1. Maximality of bi-intuitionistic propositional logic

   Результаты исследований: Вклад в журнал › Статья › Рецензирование

2. A Lindström theorem in many-valued modal logic over a finite MTL-chain

   Результаты исследований: Вклад в журнал › Статья › Рецензирование

3. Simplified Tableaux for STIT Imagination Logic

   Результаты исследований: Вклад в журнал › Статья › Рецензирование

Просмотреть все (17) »