Normal modal logic
Semantic Scholar uses AI to extract papers important to this topic.
- Theor. Comput. Sci.
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modelled as coalgebras… (More)
Is this relevant?