tietojenkäsittelytieteessä dynaaminen logiikka (modaalinen logiikka) on modaalilogiikan osa, joka kuvaa päättelyjärjestelmää, joka ottaa eksplisiittisesti huomioon objektien dynamiikan
Luettelo sanan tai lauseen merkityksestä ja linkit asiaankuuluviin artikkeleihin . Jos päädyit tänne toisen Wikipedia-artikkelin tekstistä, palaa takaisin ja tarkenna linkkiä osoittaaksesi oikeaan artikkeliin.