Propositional quantifiers in labelled natural deduction for normal modal logic

DOI10.1093/JIGPAL/JZZ008MaRDI QIDQ5865562zbMATH OpenOpenAlexWikidataFDO

Authors Matteo Pascucci

Publication date 9 June 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzz008

zbMATH Keywords

labelled natural deductionmodal logicpropositional quantifiersstrong normalization

Mathematics Subject Classification ID

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

Recommendations

• Labelled modal logics: Quantifiers
• Label-free natural deduction systems for intuitionistic and classical modal logics
• A deduction theorem for normal modal propositional logic
• A Systematic Presentation of Quantified Modal Logics
• scientific article; zbMATH DE number 1749009

Cited in

(4)

• Labelled modal logics: Quantifiers
• A deduction theorem for normal modal propositional logic
• Labelled Natural Deduction for Conditional Logics of Normality
• A Systematic Presentation of Quantified Modal Logics

This page was built for publication: Propositional quantifiers in labelled natural deduction for normal modal logic

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