Strategies for modal resolution: Results and problems
- 1 March 1990
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 6 (1) , 1-38
- https://doi.org/10.1007/bf00302639
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Modal resolution in clausal formTheoretical Computer Science, 1989
- A note on the complexity of the satisfiability of modal Horn clausesThe Journal of Logic Programming, 1987
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986
- Nonclausal temporal deductionPublished by Springer Nature ,1985
- On the Model Theory of KnowledgePublished by Defense Technical Information Center (DTIC) ,1978