scientific article; zbMATH DE number 5070346

zbMATH Open1106.03047MaRDI QIDQ5395243

P. I. Bystrov

Publication date: 2 November 2006

Title of this publication is not available (Why is that?)

zbMATH Keywords

cut-eliminationmodal sequent calculitableaux-style derivations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

One-hot conversion: towards faster table-based A2B conversion

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5395243)