modal companion

normal modal logic associated to a superintuitionistic logic

en-GB/ˈməʊdl kəmˈpænɪən/
en-US/ˈmoʊdəl kəmˈpænjən/

Categories:

normal modal logic