most citedAxiomatization and complexity of modal logic with knowing-what operator on model class K

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2016★ 1 cited

Axiomatization and complexity of modal logic with knowing-what operator on model class K

Yifeng Ding

Standard epistemic logic studies propositional knowledge, yet many other types of knowledge such as "knowing whether", "knowing what", "knowing how" are frequently and widely used…