MOLOG: A system that extends PROLOG with modal logic
- 1 March 1986
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 4 (1) , 35-50
- https://doi.org/10.1007/bf03037381
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Resolution Modal LogicsPublished by Springer Nature ,1985
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- TABLOGPublished by Association for Computing Machinery (ACM) ,1984
- A simple deduction method for modal logicInformation Processing Letters, 1982
- Resolution systems and their applications IFundamenta Informaticae, 1980
- Using meta-theoretic reasoning to do algebraPublished by Springer Nature ,1980