Hybrid Logicについて、その基本的な事項をまとめたpdfです。 簡単な例を用いた導入からはじめ、意味論とヒルベルト流公理系を紹介しその健全性、完全性を示しています。 また、Hybrid LogicにはPure Completenessという性質がありますが、その証明も載せています。
こちらから pdf ファイルをダウンロードできます。
誤植や議論の間違いなどがありましたら、お手数ですが Home の「連絡先」からお伝えいただければと思います。