Date: | 2017, January 24 |
Author: | Mossakowski, Till |
Title: | Modal Logic |
Kripke's modal logic with possible world semantics has been invented as the (philosophical) logic of the possible and the necessary. However, the same modal logic (with multiple modalities) can also be seen as the logic of labeled transition systems, a basic formalism for studying reactive and concurrent systems in compucter science.