Dynamic logics of evidence-based beliefs
From MaRDI portal
Publication:647408
Neighbourhood semantics have traditionally been used for analysing weak modal logics. The authors here deploy them in a different way to construct a possible-worlds semantics for the notion of evidence for a belief, and to articulate basic logics of actions managing that evidence. The paper is intended as the first in a series on the subject, with following ones relaxing various simplifying assumptions in the present text, such as the finiteness of the domain, absence of multiple agents, undifferentiated source for evidence, etc.
Recommendations
Cites work
- A logic for reasoning about evidence
- A textbook of belief dynamics. Theory change and database updating
- A two-level perspective on preference
- Agreeing to disagree in probabilistic dynamic epistemic~logic
- Belief Revision From the Point of View of Doxastic Logic
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- Dynamic doxastic logic: why, how, and where to?
- Dynamic logic for belief revision
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- Inference and update
- Knowledge in flux. Modeling the dynamics of epistemic states
- Knowledge, belief and counterfactual reasoning in games
- Logical dynamics of evidence
- Logical dynamics of information and interaction
- Logics of public communications
- Multiagent Systems
- Neighborhood semantics for modal logic
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Operators and Laws for Combining Preference Relations
- Reasoning about preference dynamics.
- The dynamics of awareness
- Topological reasoning and the logic of knowledge
- Toward a dynamic logic of questions
- Unifying default reasoning and belief revision in a modal framework
- Upper and Lower Probabilities Induced by a Multivalued Mapping
Cited in
(73)- Computation as social agency: what, how and who
- Evidence logics with relational evidence
- Constructive agents
- Bisimulation for conditional modalities
- The dynamics of epistemic attitudes in resource-bounded agents
- Introspection as an action in relational models
- Pooling modalities and pointwise intersection: axiomatization and decidability
- An epistemic approach to paraconsistency: a logic of evidence and truth
- An epistemic logic for multi-agent systems with budget and costs
- Background beliefs and plausibility thresholds: defending explanationist evidentialism
- First-order logics of evidence and truth with constant and variable domains
- Constructive hybrid games
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- A discrete duality between nonmonotonic consequence relations and convex geometries
- Social consolidations: rational belief in a many-valued logic of evidence and peerhood
- A four-valued dynamic epistemic logic
- Consolidation of belief in two logics of evidence
- A topological approach to full belief
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Justified belief and the topology of evidence
- Reasoning about justified belief based on the fusion of evidence
- Logic of evidence-based knowledge
- The logic of justified belief change, soft evidence and defeasible knowledge
- Logical dynamics of evidence
- Logics of belief over weighted structures
- Talking about knowledge
- Tracking information
- Conditional belief, knowledge and probability
- Argument-based belief in topological structures
- Update as evidence: belief expansion
- Algebraic Semantics for Dynamic Dynamic Logic
- A general framework for modal correspondence in dynamic epistemic logic
- A logic for reasoning about evidence
- Multi-agent justification logic: communication and evidence elimination
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Evidence and plausibility in neighborhood structures
- scientific article; zbMATH DE number 1508253 (Why is no real title available?)
- Substructural epistemic logics
- A general framework for dynamic epistemic logic: towards canonical correspondences
- DDL as an ``internalization of dynamic belief revision
- Two logical faces of belief revision
- Generalized Quantifiers Meet Modal Neighborhood Semantics
- Uncertainty about evidence
- Knowledge, justification, and adequate reasons
- Dynamic hyperintensional belief revision
- Constructive game logic
- Price of privacy
- Relating semantics for epistemic logic
- Knowledge in action: logico-philosophical approach to linguistic evidentiality
- Reasons to believe in a social environment
- Evidence logic: a new look at neighborhood structures
- Instantial neighbourhood logic
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Unification of Modal Logic via Topological Categories
- Topological Evidence Logics: Multi-agent Setting
- A hyperintensional logic of non-prime evidence
- Stable normative explanations: from argumentation to deontic logic
- Cautious distributed belief
- An algorithmic impossible-worlds model of belief and knowledge
- Belief base: a minimal logic of fine-grained information dynamics
- Logics for knowability paradox with a non-normal possibility operator
- Epistemic logics for relevant reasoners
- Attainable knowledge and omniscience
- Expertise and information: an epistemic logic perspective
- Refining constructive hybrid games
- Argument-based belief and the evidence topology
- Toward a dynamic logic of questions
- Consistency-sensitive epistemic modalities in information-based semantics
- Logic of justified beliefs based on argumentation
- Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics
- A formalisation of constructive evidence-based reasoning: constructing justifications
- A logic of plausible justifications
This page was built for publication: Dynamic logics of evidence-based beliefs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647408)
