Epistemic and doxastic logic with restrictions

The hierarchies of deductive systems LER – n and LDR – n are presented as extensions of the classical propositional calculation, with n ≥ 1. LER – n is the epistemic Logic with depth restrictions – n, LDR – n is the doxastic Logic with depth restrictions –N. The LER – 1 and LDR – 1 systems are the c...