Аксиоматизация расширений логики Данна-Белнападоклад на конференции