scientific article; zbMATH DE number 1778908

MaRDI QIDQ4544191zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 27 October 2002

zbMATH Keywords

implication fragmentstrict implication

Mathematics Subject Classification ID

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

Recommendations

• Two remarks on strictly implicative formulas in modal logic S3
• Natural deduction based upon strict implication for normal modal logics
• A finite fragment of S3
• scientific article; zbMATH DE number 2170850
• scientific article; zbMATH DE number 2201266

Cited in

(12)

• Lewis meets Brouwer: constructive strict implication
• Two remarks on strictly implicative formulas in modal logic S3
• Algebraic semantics for a modal logic close to S1
• scientific article; zbMATH DE number 4164805 (Why is no real title available?)
• A finite fragment of S3
• scientific article; zbMATH DE number 2170850 (Why is no real title available?)
• Bounded distributive lattices with strict implication
• Super-strict implications
• On strictly positive modal logics with \textsf{S}4.3 frames
• Pure strict implication logics
• Complexity of strict implication
• Priorean strict implication, Q and related systems

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