scientific article; zbMATH DE number 1859172

zbMATH Open1022.03008MaRDI QIDQ4789148

P. I. Bystrov

Publication date: 27 January 2003

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

zbMATH Keywords

modal logicdeduction theorem

Mathematics Subject Classification ID

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

Related Items (1)

Clausal presentation of theories in deduction modulo

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