On effective deduction theorems in normal modal logics

MaRDI QIDQ2751831zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 21 October 2001

zbMATH Keywords

deduction theoremnormal modal logic

Mathematics Subject Classification ID

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

Recommendations

• A deduction theorem for normal modal propositional logic
• Does the deduction theorem fail for modal logic?
• Effective completeness theorems for modal logic
• scientific article; zbMATH DE number 1975410
• Normal derivability in modal logic

Cited in

(4)

• Effective semantics for the modal logics K and KT via non-deterministic matrices
• A deduction theorem for normal modal propositional logic
• Does the deduction theorem fail for modal logic?
• scientific article; zbMATH DE number 1507194 (Why is no real title available?)

This page was built for publication: On effective deduction theorems in normal modal logics

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