OPDL: Die Zukunft derOPDL: Die Zukunft derdynamischen LogikPropositionaler Dynamischer Logik.der Programmierung mit OperativerDie Erforschung von Nebenläufigkeit inLogik in der InformatikFortschritte in der operationellen propositionalen dynamischen LogikEin Blick auf die Rolle von OPDL beim Nachdenken über gleichzeitige Programme.2025-08-25T00:09:24+00:00 ― 7 min Lesedauer