Jump to content

Logic for Computer Science/Temporal Logic

From Wikibooks, open books for an open world
[edit | edit source]

Modal logic expands propositional logic by operators for the modalities possibility and necessity. These basic modal operators are usually written (or L) for necessarily and (or M) for possibly. Each can be defined from the other in the following way: