• 홈
  • dynamic logic

dynamic logic

extension of modal logic

en-GB/daɪˈnæmɪk ˈlɒd͡ʒɪk/
en-US/daɪˈnæmɪk ˈlɑd͡ʒɪk/

카테고리:

modal logic