Report - Lógica modal computacional Algoritmos efectivos · De modal a proposicional, ida y vuelta Usamos dos mappings ;p y ;m p i;p qp i qp i;m p i 2˜;p q 2 ...

Please pass captcha verification before submit form