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.
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 article is a stub. You can help Wikipedia by expanding it. |