DYNAMIC GRADED EPISTEMIC LOGIC

DOI10.1017/S1755020319000285MaRDI QIDQ5216978zbMATH OpenOpenAlexFDO

Authors Minghui Ma, Hans 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 epistemic logicgraded models

Mathematics Subject Classification ID

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

Recommendations

• Graded epistemic logic with public announcement
• scientific article; zbMATH DE number 589751
• scientific article; zbMATH DE number 1678374
• A family of graded epistemic logics
• A dynamic informational-epistemic logic

Cites work

• A note on graded modal logic
• Action emulation
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Comparing strengths of beliefs explicitly
• Counting Objects
• Dynamic epistemic logic
• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Handbook of epistemic logic
• scientific article; zbMATH DE number 1678374 (Why is no real title available?)
• scientific article; zbMATH DE number 3616386 (Why is no real title available?)
• scientific article; zbMATH DE number 1500662 (Why is no real title available?)
• scientific article; zbMATH DE number 2149443 (Why is no real title available?)
• scientific article; zbMATH DE number 3349770 (Why is no real title available?)
• scientific article; zbMATH DE number 3353239 (Why is no real title available?)
• In so many possible worlds
• Intelligent Agents and Multi-Agent Systems
• Irrevocable belief revision in dynamic doxastic logic
• Logical dynamics of information and interaction
• On axiomatizations of public announcement logic
• Prolegomena to dynamic logic for belief revision
• Resource bisimilarity and graded bisimilarity coincide
• Some truths are best left unsaid
• Systems for Knowledge and Belief
• The logic of public announcements, common knowledge, and private suspicions
• Two modellings for theory change

Cited in

(6)

• A computationally grounded logic of graded belief
• A family of graded epistemic logics
• scientific article; zbMATH DE number 1678374 (Why is no real title available?)
• scientific article; zbMATH DE number 5524525 (Why is no real title available?)
• scientific article; zbMATH DE number 589751 (Why is no real title available?)
• Neighbourhood Semantics for Graded Modal Logic

This page was built for publication: DYNAMIC GRADED EPISTEMIC LOGIC

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