Graded epistemic logic with public announcement

• Published in: Journal of logical and algebraic methods in programming Vol. 125; p. 100732
• Main Authors: Benevides, Mário, Madeira, Alexandre, Martins, Manuel A.
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.02.2022
• Subjects: Epistemic logic; Fuzzy logic; Public announcements; Fuzzy logic; Epistemic logic; Public announcements

This work introduces a new fuzzy epistemic logic with public announcement with fuzzyness on both transitions and propositions. The interpretation of the connectives is done over the Gödel algebra and the interpretation of public announcements in this logic generalises the traditional update one. The...