Yifeng Ding

Learn More
* The author is very grateful for Prof. Yanjing Wang's effort to provide much needed comments under his busy schedule. As this is still a draft, many things in the tableau part are yet unexplained and the author begs the pardon of all readers. Abstract Standard epistemic logic studies propositional knowledge, yet many other types of knowledge such as "(More)
  • 1