DYNAMIC GRADED EPISTEMIC LOGIC

DOI10.1017/S1755020319000285OpenAlexW2961971950MaRDI QIDQ5216978

Minghui Ma, Hans P. van Ditmarsch

Publication date: 20 February 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000285

zbMATH Keywords

dynamicsgraded modelsgraded epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Neighbourhood Semantics for Graded Modal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Action emulation
• On axiomatizations of public announcement logic
• Prolegomena to dynamic logic for belief revision
• Dynamic epistemic logic
• Graded modalities. I
• Two modellings for theory change
• Graded modalities. II. (Canonical models)
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Resource bisimilarity and graded bisimilarity coincide
• A note on graded modal logic
• In so many possible worlds
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• Systems for Knowledge and Belief
• Counting Objects
• Comparing strengths of beliefs explicitly
• Intelligent Agents and Multi-Agent Systems
• Irrevocable belief revision in dynamic doxastic logic

This page was built for publication: DYNAMIC GRADED EPISTEMIC LOGIC