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. |
 | This article has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles, in addition to a stub category. (July 2007) |
| This article has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles, in addition to a stub category. (July 2007) |