scientific article; zbMATH DE number 4063062

MaRDI QIDQ3797159zbMATH OpenFDO

Authors José M. Méndez

Publication date 1988

zbMATH Keywords

axiomatizationimplication fragments of Lewis' S3 and S4modal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4041868
• Axiomatizing \(\mathrm {S4}_{+}\) and \(\mathrm J_{+}\) without the suffixing, prefixing and self-distribution of the conditional axioms
• scientific article; zbMATH DE number 1463254
• scientific article; zbMATH DE number 2201266
• scientific article; zbMATH DE number 2024621

Cited in

(2)

• scientific article; zbMATH DE number 4041868 (Why is no real title available?)
• Axiomatizing \(\mathrm {S4}_{+}\) and \(\mathrm J_{+}\) without the suffixing, prefixing and self-distribution of the conditional axioms

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