@inproceedings{090272bfd9fc4e7ba3858574604a22b8,
title = "Informational dynamics of {\textquoteleft}might{\textquoteright} assertions",
abstract = "We investigate, in a logical setting, the proposal that assertion primarily functions to express and coordinate doxastic states and that {\textquoteleft}might{\textquoteright} fundamentally expresses lack of belief. We provide a formal model of an agent{\textquoteright}s doxastic state and precise assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion (including a complex of {\textquoteleft}might{\textquoteright} and {\textquoteleft}factual{\textquoteright} 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.",
author = "Peter HAWKE and Shane STEINERT-THRELKELD",
year = "2015",
doi = "10.1007/978-3-662-48561-3_12",
language = "English",
isbn = "9783662485606",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag GmbH and Co. KG",
pages = "143--155",
editor = "Wen-Fang WANG and {VAN DER HOEK}, Wiebe and HOLLIDAY, {Wesley H.}",
booktitle = "Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings",
address = "Germany",
note = "5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 ; Conference date: 28-10-2015 Through 31-10-2015",
}