О полноте некоторых предикатных модальных логикдоклад на конференции