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

H. Kushida, M. Okada

Research output: Contribution to journalArticlepeer-review

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 1

Keywords

  • Classical logic
  • Hybrid logic
  • Proof theory

ASJC Scopus subject areas

  • Computer Science (miscellaneous)
  • Philosophy
  • Linguistics and Language

Fingerprint Dive into the research topics of 'A proof-theoretic study of the correspondence of hybrid logic and classical logic'. Together they form a unique fingerprint.

Cite this