OPDL: O Futuro da LógicaOPDL: O Futuro da LógicaDinâmicaOperacional.com Lógica Dinâmica ProposicionalExplorando concorrência na programaçãoLógica na InformáticaAvanços na Lógica Dinâmica Proposicional OperacionalUm olhar sobre o papel do OPDL em raciocinar sobre programas concorrentes.2025-08-25T00:09:24+00:00 ― 7 min ler