A Modal Herbrand's Property

This publication has 6 references indexed in Scilit:

• MOLOG: A system that extends PROLOG with modal logic
  New Generation Computing, 1986
• Un principe de résolution en logique modale
  RAIRO. Informatique théorique, 1984
• Knowledge, common knowledge and related puzzles (Extended Summary)
  Published by Association for Computing Machinery (ACM) ,1984
• A simple deduction method for modal logic
  Information Processing Letters, 1982
• An Herbrand theorem for prenex formulas of LJ.
  Notre Dame Journal of Formal Logic, 1976
• A proof procedure for quantification theory
  The Journal of Symbolic Logic, 1955