scientific article; zbMATH DE number 1778908

zbMATH Open1004.03017MaRDI QIDQ4544191FDOQ4544191

Authors: Alexander Vasil'evich Chagrov 

Publication date: 27 October 2002

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

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

zbMATH Keywords

implication fragmentstrict implication

Mathematics Subject Classification ID

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

Cited In (12)

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

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)