 More explicit definitions exist, building on the strict preference modalities of van Benthem, Girard, and Roy (2009). Yet, perhaps the simplest illuminating approach uses an intersection modality from hybrid logic (Areces and ten Cate 2007) combining the agent’s preference relation with her uncertainty between the opponent’s action to characterize best responses and Nash equilibria (cf.  Section 2.6):