Buy Me a Coffee at ko-fi.com

Dynamic logic

extension of modal logic

Pronunciation
/daɪˈnæmɪk ˈlɑʤɪk/
/dʌɪˈnamɪk ˈlɒʤɪk/
Categories
modal logic