Logic for Computer Science/Temporal Logic

Modal LogicEdit

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: