In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic that interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables the study of intermediate logics using tools developed for modal logic.
In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic that interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables the study of intermediate logics using tools developed for modal logic.
Source: Wikipedia "Modal companion" · CC BY-SA 4.0
Share this article: X · Bluesky