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

Department of Philosophy

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

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.

Original language	English
Pages (from-to)	35-61
Number of pages	27
Journal	Journal of Logic, Language and Information
Volume	16
Issue number	1
DOIs	https://doi.org/10.1007/s10849-006-9023-0
Publication status	Published - 2007 Jan

Keywords

Classical logic
Hybrid logic
Proof theory

ASJC Scopus subject areas

Computer Science (miscellaneous)
Philosophy
Linguistics and Language

Access to Document

10.1007/s10849-006-9023-0

Cite this

@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

SN - 0925-8531

VL - 16

SP - 35

EP - 61

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 1

ER -

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

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this