Propositional quantifiers in labelled natural deduction for normal modal logic

Research output: Contribution to journalArticlepeer-review

Original languageAmerican English
Pages (from-to)865-894
Number of pages30
JournalLogic Journal of the Igpl
Volume27
Issue number6
DOIs
StatePublished - Dec 2019

Keywords

  • Labelled natural deduction
  • Modal logic
  • Propositional quantifiers
  • Strong normalization

Cite this