Characterization of modal [action] logic. - Marcos Mota do Carmo Costa (1990)