Publication:5149160
From MaRDI portal
zbMath1505.03046MaRDI QIDQ5149160
Publication date: 6 February 2021
03B42: Logics of knowledge and belief (including belief change)
03F05: Cut-elimination and normal-form theorems
03B20: Subsystems of classical logic (including intuitionistic logic)