16 citations · 47 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 8 cited
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the s…
cs.LO2014★ 8 cited
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would kn…