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 are the models of epistemic logic?

Answer

Epistemic logic models are usually defined in terms of possible worlds using Kripke models. In this context, the formula \(K_{a}\varphi\) implies that \(\varphi\) holds true in all worlds that agent a deems epistemically possible based on the current information.