Two remarks on strictly implicative formulas in modal logic S3

zbMATH Open0980.03018MaRDI QIDQ2751815

Alexander Vasil'evich Chagrov

Publication date: 12 March 2002

zbMATH Keywords

strict implicationmodal logic S3

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the succinctness of some modal logics 👍 👎
• A Sahlqvist theorem for relevant modal logics 👍 👎
• Modal logics in the vicinity of S1 👍 👎
• Modal semilattices, implicative semilattices and triples 👍 👎
• Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics 👍 👎
• Sequent Calculi for Some Strict Implication Logics 👍 👎

This page was built for publication: Two remarks on strictly implicative formulas in modal logic S3

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751815)