In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic.
Read more about Modal Companion: Gödel–McKinsey–Tarski Translation, Modal Companions, Blok–Esakia Isomorphism, Semantic Description, Preservation Theorems, Other Properties
Famous quotes containing the word companion:
“Never make a companion equal to a brother.”
—Hesiod (c. 8th century B.C.)