scientific article

zbMATH Open0656.03009MaRDI QIDQ3803087

Kosta Došen

Publication date: 1988

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

zbMATH Keywords

Kripke modelsmodal logicsmodal algebrasnormal modal propositional logicHeyting propositional logic

Mathematics Subject Classification ID

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

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Basic Propositional Calculus I

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A modal logic internalizing normal proofs 👍 👎
• Models for normal intuitionistic modal logics 👍 👎
• A Deduction Theorem for Normal Modal Propositional Logic 👍 👎
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ 👍 👎
• Sequent Calculi for Normal Modal Propositional Logics 👍 👎
• Modal sequents for normal modal logics 👍 👎
• Normal derivability in modal logic 👍 👎

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