Dynamic Logics of Evidence-Based Beliefs

Authors:
J. Benthem;E. Pacuit
Affiliations:
Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands 1090 GE and Department of Philosophy, Stanford University, Stanford, USA 94305;Tilburg Center for Logic and Philosophy of Science, Tilburg University, Tilburg, The Netherlands 5000 LE
Venue:
Studia Logica
Year:
2011

Citing 8
Cited 1

Topological reasoning and the logic of knowledge

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Conditional logics for default reasoning and belief revision

Conditional logics for default reasoning and belief revision
A computationally grounded logic of knowledge, belief and certainty

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

Electronic Notes in Theoretical Computer Science (ENTCS)
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Dynamic Epistemic Logic

Dynamic Epistemic Logic
A logic for reasoning about evidence

Journal of Artificial Intelligence Research
Toward a dynamic logic of questions

LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction

Public announcements under sheaves

JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of "evidence management", ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.