provability logic

modal logic

en-GB/pɹuːvəbɪlɪtiː ˈlɒd͡ʒɪk/

קטגוריות:

mathematical theorynormal modal logic