Logics of belief over weighted structures

Authors:
Minghui Ma;Meiyun Guo
Affiliations:
Institute of Logic and Intelligence, Southwest University, Beibei, Chongqing, China;Institute of Logic and Intelligence, Southwest University, Beibei, Chongqing, China
Venue:
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Year:
2011

Citing 7
Cited 0

Reasoning about knowledge and probability

Journal of the ACM (JACM)
Modal logic

Modal logic
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Graded Modalities in Epistemic Logic

TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

We explore logics of belief over weighted structures under the supposition that everything believed by an agent has a weight in the range of agent's belief. We first define static graded belief logics which are complete with respect to the class of all weighted frames. Furthermore, we discuss their public announcement and dynamic epistemic extensions. We may also define notions of plausible belief by comparing weights of formulas at the current state in a weighted model. This approach is not a new one but we provide new logics and their dynamic extensions which can capture some intuitive notions of belief and their dynamics.