A proof-theoretic study of the correspondence of hybrid logic and classical logic

H. Kushida, M. Okada

研究成果: Article

2 引用 (Scopus)

抜粋

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' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用