1320 research outputs found
Sort by
A comparative analysis between Chinese opera and Vietnamese cai luong: the play of the butterfly lovers
No full text
We are stardust, we are golden: an exploration of female hippie ideals and an emerging hippie feminism in the 1960’s counterculture
No full text
As Filipino as barbecue: NYC Filipino restaurant owners’ power over food, restaurants, and identity
No full text
Everyone knows that someone knows: quantifiers over epistemic agents
Get PDFModal 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 the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with quantifiers ranging over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics
