inom datavetenskap är dynamisk logik (modal logik) en del av modal logik som beskriver ett resonemangssystem som explicit tar hänsyn till objekts dynamik
Lista över betydelser av ett ord eller en fras med länkar till relevanta artiklar . Om du kom hit från texten i en annan Wikipedia-artikel, gå tillbaka och förfina länken för att peka på rätt artikel.