Logic Seminar
Epistemic logic normally views an epistemic situation as a collection W of epistemic states (possible worlds) with complete truth assignments at each world. This could become a natural starting point for semantic epistemic investigations. However, epistemology starts from Kripke models, which is a special type of W’s defined by accessibility relations which significantly narrows its scope.