The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case

Yijia Chen, Abdallah Saffidine, Christoph Schwering

The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and m…