Dynamic logics of evidence-based beliefs
From MaRDI portal
Publication:647408
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
(72)- 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 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)
