1 paper · 1 filter
A. R. Lomuscio, R. van der Meyden, M. D. Ryan
The semantic framework for the modal logic of knowledge due to Halpern and Moses provides a way to ascribe knowledge to agents in distributed and multi-agent systems. In this paper…