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…