33 citations · 99 across the 17 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 14 cited
Knowledge, Awareness, and Bisimulation
Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada +1
We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explici…
cs.LO2013
Specifying Robustness
John C. McCabe-Dansted, Tim French, Mark Reynolds +1
This paper proposes a new logic RoCTL* to model robustness in concurrent systems. RoCTL* extends CTL* with the addition of Obligatory and Robustly operators, which quantify over fa…