5 citations · 7 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2002★ 2 cited
Complete Axiomatizations for Reasoning About Knowledge and Time
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various…
cs.LO1999
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast
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…