Concept
Modal companion
Overview
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.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Infinite set
- Propositional variable
- Kurt Gödel
- Intuitionistic logic
- Law of excluded middle
- Propositional logic
- Function (mathematics)
- Reflexive relation
- Intersection (set theory)
- Partially ordered set
- Rule of inference
- Modal logic
- C. I. Lewis
- Logic
- Complement (set theory)
- Alfred Tarski
- Countable set
- Intermediate logic
- Normal modal logic
- Kripke semantics
- Equivalence relation
- Gödel logic
Place in the tradition
Part of Intuitionistic logic.