Extending Dynamic Epistemic Logic to Express Misinformation

• Author / Creator

  Chow, Julian

• After a qualitative analysis of deception, I select the component of misinformation for encoding into a logic. I introduce dynamic epistemic logic (DEL) and the Cards scenario (Cards), then modify Cards to illustrate shortcomings of DEL in expressing misinformation. I develop two dynamic epistemic logics of misinformation as extensions of DEL. Each is distinguished by its fibbee protocol, a new sub-step of model update accommodating agents’ internally consistent reaction to observing misinformation events. I prove that for two-valued logic both logics of misinformation are equivalent. Finally, I propose a dynamic epistemic logic of trust. I conclude with a discussion of the interdependence of misinformation and trust in the context of modal epistemic logics.

• Subjects / Keywords

  • event model
  • public announcement logic
  • modal logic
  • epistemic model
  • misinformation
  • social intelligence
  • S5
  • PAL
  • trust
  • deception
  • dynamic epistemic logic
  • formal logic
  • event update
  • epistemic agent
  • symbolic logic
  • DEL

• Graduation date

  Fall 2020

• Type of Item

  Thesis

• Degree

  Master of Arts

• DOI

  https://doi.org/10.7939/r3-ft7h-h077

• License

  Permission is hereby granted to the University of Alberta Libraries to reproduce single copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. Where the thesis is converted to, or otherwise made available in digital form, the University of Alberta will advise potential users of the thesis of these terms. The author reserves all other publication and other rights in association with the copyright in the thesis and, except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatsoever without the author's prior written permission.