247 citations · 1.8k across the 152 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…