Normal derivability in modal logic

DOI10.1002/MALQ.200410054MaRDI QIDQ5704814zbMATH OpenOpenAlexFDO

Authors Jan von Plato

Publication date 15 November 2005

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200410054

zbMATH Keywords

general elimination rulesmodal logic.normalization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Normal derivability in classical natural deduction
• scientific article; zbMATH DE number 575583
• A new S4 classical modal logic in natural deduction
• Natural deduction in normal modal logic
• Does the deduction theorem fail for modal logic?

Cited in

(21)

• Assertion, denial and some cancellation rules in modal logic
• Conditional logics of normality: A modal approach
• Classical natural deduction for S4 modal logic
• Rosser provability and normal modal logics
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• A normal form for logical derivations implying one for arithmetic derivations
• Full classical S5 in natural deduction with weak normalization
• On effective deduction theorems in normal modal logics
• Normal derivability in classical natural deduction
• A new S4 classical modal logic in natural deduction
• scientific article; zbMATH DE number 3896900 (Why is no real title available?)
• 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 1354101 (Why is no real title available?)
• scientific article; zbMATH DE number 575583 (Why is no real title available?)
• scientific article; zbMATH DE number 1989655 (Why is no real title available?)
• scientific article; zbMATH DE number 804146 (Why is no real title available?)
• The elimination theorem when modality is present
• Gödel's modal interpretation of intuitionistic logic and its proof theory
• Unified natural deduction for logics of strong negation
• A modal logic internalizing normal proofs

This page was built for publication: Normal derivability in modal logic

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