A deduction theorem for normal modal propositional logic

DOI10.1007/3-540-44958-2_9MaRDI QIDQ3550857zbMATH OpenOpenAlexFDO

Authors Saša Buvač

Publication date 6 April 2010

Published in Modeling and Using Context (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44958-2_9

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1140671
• Labelled propositional modal logics: theory and practice
• Propositional quantifiers in labelled natural deduction for normal modal logic
• On effective deduction theorems in normal modal logics
• scientific article; zbMATH DE number 4066840

Cited in

(12)

• A deduction theorem schema for deductive systems of propositional logics
• Natural deduction in normal modal logic
• Rosser provability and normal modal logics
• On effective deduction theorems in normal modal logics
• A general treatment for the deduction theorem in open calculi
• Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
• scientific article; zbMATH DE number 4070861 (Why is no real title available?)
• Does the deduction theorem fail for modal logic?
• scientific article; zbMATH DE number 736425 (Why is no real title available?)
• scientific article; zbMATH DE number 1140671 (Why is no real title available?)
• scientific article; zbMATH DE number 1975410 (Why is no real title available?)
• Propositional quantifiers in labelled natural deduction for normal modal logic

This page was built for publication: A deduction theorem for normal modal propositional logic

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