Interpreting modal natural deduction as resolution
This thesis studies deduction systems for modal logics and the relation between them. Natural deduction systems give proofs that are close to human reasoning but are not well suited to automation while refutation systems are well suited to automation but inference steps are not close to human inform...
| Main Author: | |
|---|---|
| Published: |
University of Manchester
2009
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.515225 |