Dynamic logics of evidence-based beliefs
From MaRDI portal
Publication:647408
DOI10.1007/s11225-011-9347-xzbMath1241.03013OpenAlexW2085158502MaRDI QIDQ647408
Eric Pacuit, J. F. A. K. van Benthem
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/dynamic-logic-of-evidencebased-beliefs(30b3d1ac-fd95-4bc6-8578-4943390c43bc).html
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Constructive Game Logic ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Computation as social agency: what, how and who ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ Relating Semantics for Epistemic Logic ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Evidence and plausibility in neighborhood structures ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Substructural epistemic logics ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ Constructive agents ⋮ A topological approach to full belief ⋮ Unification of Modal Logic via Topological Categories ⋮ Bisimulation for conditional modalities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A four-valued dynamic epistemic logic ⋮ Talking About Knowledge ⋮ Tracking Information ⋮ Price of privacy ⋮ Toward a dynamic logic of questions ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Introspection as an action in relational models ⋮ Pooling modalities and pointwise intersection: axiomatization and decidability ⋮ A logic of plausible justifications ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ An epistemic logic for multi-agent systems with budget and costs ⋮ Justified Belief and the Topology of Evidence ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence ⋮ Constructive hybrid games ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics ⋮ KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Agreeing to disagree in probabilistic dynamic epistemic~logic
- A two-level perspective on preference
- The dynamics of awareness
- Reasoning about preference dynamics.
- Dynamic doxastic logic: why, how, and where to?
- Inference and update
- Unifying default reasoning and belief revision in a modal framework
- Topological reasoning and the logic of knowledge
- A textbook of belief dynamics. Theory change and database updating
- Neighborhood semantics for modal logic
- Logics of public communications
- Knowledge, Belief and Counterfactual Reasoning in Games
- Logical Dynamics of Evidence
- Logical Dynamics of Information and Interaction
- Multiagent Systems
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Dynamic logic for belief revision
- Toward a Dynamic Logic of Questions
- Operators and Laws for Combining Preference Relations
- Belief Revision From the Point of View of Doxastic Logic
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
- Upper and Lower Probabilities Induced by a Multivalued Mapping
