Modal resolution in clausal form

This publication has 7 references indexed in Scilit:

• Strategies for modal resolution: Results and problems
  Journal of Automated Reasoning, 1990
• MOLOG: A system that extends PROLOG with modal logic
  New Generation Computing, 1986
• A Modal Herbrand's Property
  Mathematical Logic Quarterly, 1986
• A simple deduction method for modal logic
  Information Processing Letters, 1982
• REASONING ABOUT KNOWLEDGE AND ACTION
  Published by Elsevier ,1981
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• A. Salwicki. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 227–232, XVII, XVII. - A. Salwicki. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 275–278, XXI, XXI. - A. Salwicki. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 279–285, XXI, XXI.
  The Journal of Symbolic Logic, 1974