research
∙
05/08/2018
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
The classical view of epistemic logic is that an agent knows all the log...
research
∙
05/04/2017