Original language | American English |
---|---|
Pages (from-to) | 865-894 |
Number of pages | 30 |
Journal | Logic Journal of the Igpl |
Volume | 27 |
Issue number | 6 |
DOIs | |
State | Published - Dec 2019 |
Keywords
- Labelled natural deduction
- Modal logic
- Propositional quantifiers
- Strong normalization