抜粋
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 1 |
ASJC Scopus subject areas
- Computer Science (miscellaneous)
- Philosophy
- Linguistics and Language
フィンガープリント A proof-theoretic study of the correspondence of hybrid logic and classical logic' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。
これを引用
Kushida, H., & Okada, M. (2007). A proof-theoretic study of the correspondence of hybrid logic and classical logic. Journal of Logic, Language and Information, 16(1), 35-61. https://doi.org/10.1007/s10849-006-9023-0