scientific article; zbMATH DE number 7307097

zbMath1505.03046MaRDI QIDQ5149160

Katsuhiko Sano, Youan Su

Publication date: 6 February 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculusintuitionistic logicepistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Constructive and mechanised meta-theory of intuitionistic epistemic logic

This page was built for publication: