Generalized arrow update logic

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 12 Jul 2011 Netherlands Publisher:ACMJournal:Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Authors: Kooi, Barteld; Renne, Bryan;

doi: 10.1145/2000378.2000403

handle: 11370/db36c14f-533a-410d-95f6-1729a4a7e3a7

Generalized arrow update logic

- Summary
- Metrics

Abstract

This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.

Country

Netherlands

Related Organizations

University of British Columbia
Canada
University of Groningen
Netherlands

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	17
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average