scientific article

zbMATH Open0547.03017MaRDI QIDQ3338219

O. F. Serebriannikov

Publication date: 1982

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

zbMATH Keywords

cut eliminationquantified modal logicssequents

Mathematics Subject Classification ID

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

Related Items (3)

Title not available (Why is that?) ⋮ Gentzen-type formulation of the propositional logic LQ ⋮ Generalized quantifiers and modal logic

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