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

H. Kushida, Mitsuhiro Okada

Research output: Contribution to journalArticle

2 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 languageEnglish
Pages (from-to)35-61
Number of pages27
JournalJournal of Logic, Language and Information
Volume16
Issue number1
DOIs
Publication statusPublished - 2007 Jan

Fingerprint

logic
Substitution reactions
equivalence
Group
deduction
substitution
equality
Classical Logic
Hybrid Logic
Equivalence

Keywords

  • Classical logic
  • Hybrid logic
  • Proof theory

ASJC Scopus subject areas

  • Linguistics and Language

Cite this

A proof-theoretic study of the correspondence of hybrid logic and classical logic. / Kushida, H.; Okada, Mitsuhiro.

In: Journal of Logic, Language and Information, Vol. 16, No. 1, 01.2007, p. 35-61.

Research output: Contribution to journalArticle

@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 Mitsuhiro Okada",
year = "2007",
month = "1",
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, Mitsuhiro

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 -