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

ASJC Scopus subject areas

  • コンピュータ サイエンス(その他)
  • 哲学
  • 言語学および言語

フィンガープリント

「A proof-theoretic study of the correspondence of hybrid logic and classical logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル