## Reasoning about epistemic states of agents by modal logic programming (2006)

Venue: | Proceedings of CLIMA VI, LNAI 3900 |

Citations: | 6 - 6 self |

### BibTeX

@INPROCEEDINGS{Nguyen06reasoningabout,

author = {Linh Anh Nguyen},

title = {Reasoning about epistemic states of agents by modal logic programming},

booktitle = {Proceedings of CLIMA VI, LNAI 3900},

year = {2006},

pages = {37--56},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

Abstract. Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic KD4Ig5a, which is intended for reasoning about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in KD4Ig5a. This shows that it is worth to study modal logic programming for multi-agent systems. 1