Logic Seminar
Wednesday, February 8, 2017 - 4:00pm
Malott 206
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.