Multimodal logic
A multimodal logic is a system of logic that has more than one primitive modal operator. One of the more prominent of such systems is temporal logic.
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |
A multimodal logic is a system of logic that has more than one primitive modal operator. One of the more prominent of such systems is temporal logic.