Vassar Scholarship
Everyone knows that someone knows: quantifiers over epistemic agents
Publication Date
2018-January-01
Document Type
Department or Program
Document Type
Abstract
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of...
