dynamic logic

extension of modal logic

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

ক্যাটাগরি:

modal logic