OPDL: El Futuro de laOPDL: El Futuro de laLógica DinámicaProposicional Operacional.programación con Lógica DinámicaExplorando la concurrencia enLógica en InformáticaAvances en la Lógica Dinámica Proposicional OperacionalUna mirada al papel de OPDL en el razonamiento sobre programas concurrentes.2025-08-25T00:09:24+00:00 ― 7 minilectura