Announcements to Attentive Agents

Research output: Contribution to journalJournal article – Annual report year: 2016Researchpeer-review

Documents

DOI

View graph of relations

In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic. An attention-based announcement can also be described as an action model. We extend our logic by integrating attention change. Finally, we add the notion of common belief to the language, we exploit this to formalize the concept of joint attention, that has been widely discussed in the philosophical and cognitive science literature, and we provide a corresponding axiomatization. This axiomatization also employs the auxiliary notion of attention-based relativized common belief.
Original languageEnglish
JournalJournal of Logic, Language and Information
Volume25
Issue number1
Pages (from-to)1-35
ISSN0925-8531
DOIs
Publication statusPublished - 2016
CitationsWeb of Science® Times Cited: No match on DOI

    Research areas

  • Dynamic epistemic logic, Axiomatization, Satisfiability, Common belief, Collective attention
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 123621028