Linear modal deductions
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 487-499
- https://doi.org/10.1007/bfb0012851
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Modal resolution in clausal formTheoretical Computer Science, 1989
- Modal Theorem Proving,Published by Defense Technical Information Center (DTIC) ,1986
- Resolution and quantified epistemic logicsPublished by Springer Nature ,1986
- A simple deduction method for modal logicInformation Processing Letters, 1982