Applied Directions of Modal Logic

Modal logic is used in epistemic models of knowledge, deontic analysis of norms, and temporal descriptions of processes. This allows for formalizing reasoning where the context of modality is important