Extensional equivalence for transition systems
Acta Informatica
Belief, awareness, and limited reasoning
Artificial Intelligence
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
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
| Hi-index | 0.00 |
Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of "neighbourhood models", originally proposed for weak modal logics. We show how these models support natural actions of "evidence management", ranging from update with external new information to internal rearrangement. This perspective leads to richer languages for neighborhood semantics, including modalities for new kinds of conditional evidence and conditional belief. Using these, we indicate how one can obtain relative completeness theorems for the dynamic logic of evidence-changing actions.