scientific article; zbMATH DE number 575583

MaRDI QIDQ4294473zbMATH OpenFDO

Authors Andrzej Indrzejczak

Publication date 16 February 1995

zbMATH Keywords

natural deductionfirst-order modal logicquantified modal logic

Mathematics Subject Classification ID

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

Recommendations

• A simplified natural deduction approach to certain modal systems
• Publication:4943267
• Natural deduction in normal modal logic
• Normal derivability in modal logic

Cited in

(11)

• Natural Deduction for Equality: The Missing Entity
• Natural deduction for modal logic of judgment aggregation
• scientific article; zbMATH DE number 1416049 (Why is no real title available?)
• Normal derivability in modal logic
• Natural deduction in normal modal logic
• Natural implication and modus ponens principle
• Stanisław Jaśkowski and Natural Deduction Systems
• Natural deduction and arbitrary objects
• Contextual Natural Deduction
• A simplified natural deduction approach to certain modal systems
• Natural deduction as higher-order resolution

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