Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/33315
Title: | Graded epistemic logic with public announcement |
Author: | Benevides, Mário Madeira, Alexandre Martins, Manuel A. |
Keywords: | Epistemic Logic Public announcements Fuzzy logic |
Issue Date: | Feb-2022 |
Publisher: | Elsevier |
Abstract: | 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 core idea is that, the effect of a public announcement is reflected on the transitions degrees of the models. The update takes in account not only the truth degree of the announcement, at a target state, but also the degree of the transitions reaching that state. We prove the soundness of all axioms of the multi-agent epistemic logic with public announcements with respect to this graded semantics. Finally, we introduce the notion of bisimulation and prove the modal invariance property for our logic. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/33315 |
DOI: | 10.1016/j.jlamp.2021.100732 |
Appears in Collections: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S235222082100095X-main.pdf | 374 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.