5 citations · 7 across the 2 of their papers we have counts for
Showing 2002Show 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.CR2002★ 5 cited
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…