A simple deduction method for modal logic
- 1 April 1982
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 14 (2) , 49-51
- https://doi.org/10.1016/0020-0190(82)90085-0
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Process logic: Expressiveness, decidability, completenessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965