A RESOLUTION METHOD FOR QUANTIFIED MODAL LOGICS OF KNOWLEDGE AND BELIEF

This publication has 4 references indexed in Scilit:

• Nonclausal temporal deduction
  Published by Springer Nature ,1985
• Automated deduction by theory resolution
  Journal of Automated Reasoning, 1985
• Knowledge and common knowledge in a distributed environment
  Published by Association for Computing Machinery (ACM) ,1984
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959