modal companion

normal modal logic associated to a superintuitionistic logic

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

Categories:

normal modal logic