A Modal Herbrand's Property

[1]  Kenneth A. Bowen.  An Herbrand theorem for prenex formulas of LJ , 1976, Notre Dame J. Formal Log..

[2]  Luis Fariñas del Cerro,et al.  Un Principe de Résolution en Logique Modale , 1984, RAIRO Theor. Informatics Appl..

[3]  K. Konolige.  A deduction model of belief and its logics , 1984 .

[4]  W. V. Quine,et al.  A proof procedure for quantification theory , 1955, Journal of Symbolic Logic.

[5]  Luis Fariñas del Cerro.  A Simple Deduction Method for Modal Logic , 1982, Inf. Process. Lett..

[6]  Ewa Orlowska,et al.  Expressive Power of Knowledge Representation Systems , 1984, Int. J. Man Mach. Stud..