Informational dynamics of ‘might’ assertions


Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)peer-review

2 Citations (Scopus)


We investigate, in a logical setting, the proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and precise assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion (including a complex of ‘might’ and ‘factual’ claims) always succeeds in expressing a well-defined doxastic state. We then propose a fully general and intuitive doxastic update operation as a model of an agent coming to accept an arbitrary assertion. We provide reduction axioms for some novel update operations related to this proposal.

Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings
EditorsWen-Fang WANG, Wiebe VAN DER HOEK, Wesley H. HOLLIDAY
PublisherSpringer-Verlag GmbH and Co. KG
Number of pages13
ISBN (Print)9783662485606
Publication statusPublished - 2015
Externally publishedYes
Event5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 - Taipei, Taiwan, Province of China
Duration: 28 Oct 201531 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Workshop on Logic, Rationality, and Interaction, LORI 2015
CountryTaiwan, Province of China

Fingerprint Dive into the research topics of 'Informational dynamics of ‘might’ assertions'. Together they form a unique fingerprint.

Cite this