18 citations · 74 across the 29 of their papers we have counts for
1 paper · 2 filters
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…