Epistemic modal logic

Epistemic Modal Logic is a way of making statements about what is known or unknown. It is made up of special words, called modal words, that we use to show what kind of statement we are making. For example, we might say something like: "It is possible that the person who did this is out there". This is an example of using a modal word - "possible" - to talk about something that might be true or false. We also use these words to talk about what we know or don't know about something, like "I believe that the person who did this is out there". By combining the modal words with traditional logic, we can express a wider range of statements about knowledge and uncertainty.