Linear Modal Logic
Home
>
Philosophy
>
Logic
>
Modal Logic
>
Linear Modal Logic
It is used to study time, space, and causality, typically in the context of programming languages.