A simplified natural deduction approach to certain modal systems

DOI10.1305/NDJFL/1093637557zbMath0636.03007OpenAlexW2031056444MaRDI QIDQ1097870

Bangs L. Tapscott

Publication date: 1987

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637557

zbMATH Keywords

natural deductionquantified modal logicsnormal modal systemsrestricted reiteration rulessubordinate proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: A simplified natural deduction approach to certain modal systems