2 documents found, page 1 of 1
Epistemic logics with structured knowledge
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.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 epis...
A family of graded epistemic logics
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.Multi-Agent Epistemic Logic has been investigated in Computer Science [Fagin, R., J. Halpern, Y. Moses and M. Vardi, “Reasoning about Knowledge,” MIT Press, USA, 1995] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [Fagin, R. and J. Halpern, Reasoning about knowledge and probability, Journal of the ACM 41 (1994...