Jump to content

Multimodal logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Guppyfinsoup (talk | contribs) at 04:09, 15 May 2007 (new stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

A multimodal logic is a system of logic that has more than one primitive modal operator in its object language. One of the more prominent of such logics is temporal logic.