5 citations · 7 across the 2 of their papers we have counts for
4 papers
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…
A logical reconstruction of SPKI
Joseph Y. Halpern, Ron van der Meyden
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previously int…
A Logic for SDSI's Linked Local Name Spaces
Joseph Y. Halpern, Ron van der Meyden
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi's logic does not…
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…