scientific article; zbMATH DE number 1778907

zbMATH Open1004.03016MaRDI QIDQ4544190

P. I. Bystrov

Publication date: 27 October 2002

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

zbMATH Keywords

modal logicsequent calculusnatural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Extended Natural Deduction Images of Conversions from the System of Sequents

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 Q4544190)