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

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

Answer

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.