On effective deduction theorems in normal modal logics

zbMATH Open0980.03019MaRDI QIDQ2751831

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)

Related Items (2)

Title not available (Why is that?) ⋮ Effective semantics for the modal logics K and KT via non-deterministic matrices

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)