Please use this identifier to cite or link to this item:
Title: Epistemic logics with structured knowledge
Author: Madeira, Alexandre
Martins, Manuel A.
Benevides, Mario R. F.
Keywords: Dynamic epistemic logic
Structured states
Parametric construction of Logics
Issue Date: 16-Aug-2019
Publisher: Elsevier
Abstract: Multi-agent Dynamic Epistemic Logic, as a suitable modal logic to reason about knowledge evolving systems, has emerged in a number of contexts and scenarios. The agents knowledge in this logic is simply characterised by valuations of propositions. This paper discusses the adoption of other richer structures to make these representations, as graphs, algebras or even epistemic models. This method of building epistemic logics over richer structures is called “Epistemisation”. On this view a parametric method to build such Epistemic Logics with Public Announcements is introduced. Moreover, a parametric notion of bisimulation is presented, and the modal invariance of the proposed logics, with respect to this relation, are proved. Some interesting application horizons opened with this construction are stated.
Peer review: yes
DOI: 10.1016/j.entcs.2019.07.009
ISSN: 1571-0661
Publisher Version:
Appears in Collections:CIDMA - Artigos
AGG - Artigos
DMat - Artigos

Files in This Item:
File Description SizeFormat 
LSFA_2018_paper_18.pdf257.14 kBAdobe PDFembargoedAccess

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.