Теорема Ван Бентама

[geoffrey]

тут есть упоминание о ней http://ru.scribd.com/doc/60163878/23/Van-Benthem%E2%80%99s-characterisation-theorem. кто может коротко объяснить суть (понятно, теорема утверждает, что модальная логика является частью первопорядковой логики) теоремы и набросок доказательства (или какой аппарат используется для доказательства)