Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Dynamic Epistemic Logic - What is an example of epistemic reasoning?


One example of reasoning based on evidence is the standard model of all possible worlds. I can confidently say that it is not Thursday when I know for sure that it is Friday or Saturday. Considering that, to the best of my knowledge, Thursday is never an option; in every single one of these instances, it's either Friday or Saturday.