scientific article; zbMATH DE number 3437114

MaRDI QIDQ4405136zbMATH OpenFDO

Authors Jerzy Perzanowski

Publication date 1973

Mathematics Subject Classification ID

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

Cited in

(4)

• On detachment-substitutional formalization in normal modal logics
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence
• Logical matrices and the amalgamation property

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