A6.A — Modal Intuitionistic Logics as Dialgebraic Logics
Channel: Saarland Informatics Campus
Date: 2020-06-29

LICS 2020
Modal Intuitionistic Logics as Dialgebraic Logics
Jim de Groot and Dirk Pattinson