Evidence and plausibility in neighborhood structures

DOI10.1016/J.APAL.2013.07.007zbMATH Open1345.03045arXiv1307.1277OpenAlexW2128274288WikidataQ58883276 ScholiaQ58883276MaRDI QIDQ392275FDOQ392275

Authors: David Fernández-Duque, Eric Pacuit, Johan van Benthem 

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an {em evidence logic} for epistemic agents faced with possibly contradictory evidence from different sources. The logic is based on a neighborhood semantics, where a neighborhood $N$ indicates that the agent has reason to believe that the true state of the world lies in $N$. Further notions of relative plausibility between worlds and beliefs based on the latter ordering are then defined in terms of this evidence structure, yielding our intended models for evidence-based beliefs. In addition, we also consider a second more general flavor, where belief and plausibility are modeled using additional primitive relations, and we prove a representation theorem showing that each such general model is a $p$-morphic image of an intended one. This semantics invites a number of natural special cases, depending on how uniform we make the evidence sets, and how coherent their total structure. We give a structural study of the resulting `uniform' and `flat' models. Our main result are sound and complete axiomatizations for the logics of all four major model classes with respect to the modal language of evidence, belief and safe belief. We conclude with an outlook toward logics for the dynamics of changing evidence, and the resulting language extensions and connections with logics of plausibility change.

Full work available at URL: https://arxiv.org/abs/1307.1277

Recommendations

• Evidence logic: a new look at neighborhood structures
• Logical dynamics of evidence
• Dynamic logics of evidence-based beliefs
• Logic of evidence-based knowledge
• A logic for reasoning about evidence

zbMATH Keywords

modal logicdoxastic logicevidence-based reasoningneighborhood semanticsplausibility ordering

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Combined logics (03B62) Categoricity and completeness of theories (03C35)

Cites Work

• Title not available (Why is that?)
• Counterfactuals.
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Knowledge in flux. Modeling the dynamics of epistemic states
• Logical dynamics of information and interaction
• Dynamic Epistemic Logic and Knowledge Puzzles
• Multiagent Systems
• Dynamic logic for belief revision
• Title not available (Why is that?)
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Explicit provability and constructive semantics
• The logic of proofs, semantically
• Operators and Laws for Combining Preference Relations
• Introducing Justification into Epistemic Logic
• Logics of public communications
• Dynamic logics of evidence-based beliefs
• Dynamic interactive epistemology
• Neighborhood semantics for modal logic
• Reasons for (prior) belief in Bayesian epistemology
• The logic of justified belief change, soft evidence and defeasible knowledge
• A logic for reasoning about evidence
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Evidence logic: a new look at neighborhood structures
• The dynamics of awareness

Cited In (24)

• Uncertain Neighborhood Effects and Restrictive Covenants
• Title not available (Why is that?)
• Dynamic hyperintensional belief revision
• Logics for belief as maximally plausible possibility
• Neighborhood semantics for logic of knowing how
• Justified belief and the topology of evidence
• Substructural epistemic logics
• A logic for reasoning about evidence
• Evidence logic: a new look at neighborhood structures
• Conditional belief, knowledge and probability
• Reasoning about justified belief based on the fusion of evidence
• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Epistemic logics for relevant reasoners
• Beliefs supported by binary arguments
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• An awareness epistemic framework for belief, argumentation and their dynamics
• On consistent functions for neighborhood systems
• Neighborhood correlation
• Neighborhoods for entailment
• Argument-based belief in topological structures
• An evidence logic perspective on Schotch-Jennings forcing
• A hyperintensional logic of non-prime evidence
• Dynamic logics of evidence-based beliefs
• Logical dynamics of evidence

This page was built for publication: Evidence and plausibility in neighborhood structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392275)