scientific article; zbMATH DE number 575583

zbMATH Open0806.03015MaRDI QIDQ4294473FDOQ4294473

Authors: Andrzej Indrzejczak 

Publication date: 16 February 1995

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

Recommendations

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

zbMATH Keywords

natural deductionfirst-order modal logicquantified modal logic

Mathematics Subject Classification ID

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

Cited In (11)

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

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)