Propositional quantifiers in labelled natural deduction for normal modal logic

DOI10.1093/jigpal/jzz008zbMath1494.03052OpenAlexW2942046175WikidataQ128187491 ScholiaQ128187491MaRDI QIDQ5865562

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

modal logicpropositional quantifiersstrong normalizationlabelled natural deduction

Mathematics Subject Classification ID

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

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