抄録
In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof-theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.
本文言語 | English |
---|---|
ページ(範囲) | 35-61 |
ページ数 | 27 |
ジャーナル | Journal of Logic, Language and Information |
巻 | 16 |
号 | 1 |
DOI | |
出版ステータス | Published - 2007 1月 |
ASJC Scopus subject areas
- コンピュータ サイエンス(その他)
- 哲学
- 言語学および言語