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

H. Kushida; M. Okada

doi:10.1007/s10849-006-9023-0

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	https://doi.org/10.1007/s10849-006-9023-0
出版ステータス	Published - 2007 1

ASJC Scopus subject areas

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

文献へのアクセス

10.1007/s10849-006-9023-0

他のファイルとリンク

引用スタイル

@article{eb3cb1833c554a78b2e7049a20e15700,

title = "A proof-theoretic study of the correspondence of hybrid logic and classical logic",

abstract = "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.",

keywords = "Classical logic, Hybrid logic, Proof theory",

author = "H. Kushida and M. Okada",

note = "Funding Information: Acknowledgements We would like to thank the anonymous referee for useful comments. The first author was supported by Reserch Fellowships of the Japan Society for the Promotion of Science for Young Scientists.",

year = "2007",

month = jan,

doi = "10.1007/s10849-006-9023-0",

language = "English",

volume = "16",

pages = "35--61",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

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

AU - Kushida, H.

AU - Okada, M.

N1 - Funding Information: Acknowledgements We would like to thank the anonymous referee for useful comments. The first author was supported by Reserch Fellowships of the Japan Society for the Promotion of Science for Young Scientists.

PY - 2007/1

Y1 - 2007/1

N2 - 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.

AB - 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.

KW - Classical logic

KW - Hybrid logic

KW - Proof theory

UR - http://www.scopus.com/inward/record.url?scp=33845340149&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33845340149&partnerID=8YFLogxK

U2 - 10.1007/s10849-006-9023-0

DO - 10.1007/s10849-006-9023-0

M3 - Article

AN - SCOPUS:33845340149

VL - 16

SP - 35

EP - 61

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

SN - 0925-8531

IS - 1

ER -

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

抄録

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル