Multimodal logic

A multimodal logic is a modal logic that has more than one primitive modal operator. They find substantial applications in theoretical computer science.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.