Modal Logic and Dioids. - Christiano P. Pessanha; Rafael Santos-Mendes (POSTA, 2003)