Multimodal logic
Appearance
A multimodal logic is a system of logic that has more than one primitive modal operator. One of the more prominent of such logics is temporal logic.
A multimodal logic is a system of logic that has more than one primitive modal operator. One of the more prominent of such logics is temporal logic.