Intuitionistic hybrid logic: Introduction and survey

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.

Original languageEnglish
JournalInformation and Computation
Volume209
Issue number2
Pages (from-to)1437-1446
ISSN0890-5401
DOIs
Publication statusPublished - 2011

Keywords

  • Intuitionistic logic
  • Hybrid logic
  • Modal logic

Cite this

@article{33c2a0e4d829437aaa4343f53547e224,
title = "Intuitionistic hybrid logic: Introduction and survey",
abstract = "Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.",
keywords = "Intuitionistic logic, Hybrid logic, Modal logic",
author = "Torben Bra{\"u}ner",
year = "2011",
doi = "10.1016/j.ic.2011.10.001",
language = "English",
volume = "209",
pages = "1437--1446",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Academic Press",
number = "2",

}

Intuitionistic hybrid logic : Introduction and survey. / Braüner, Torben.

In: Information and Computation, Vol. 209, No. 2, 2011, p. 1437-1446.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Intuitionistic hybrid logic

T2 - Introduction and survey

AU - Braüner, Torben

PY - 2011

Y1 - 2011

N2 - Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.

AB - Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.

KW - Intuitionistic logic

KW - Hybrid logic

KW - Modal logic

U2 - 10.1016/j.ic.2011.10.001

DO - 10.1016/j.ic.2011.10.001

M3 - Journal article

VL - 209

SP - 1437

EP - 1446

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

IS - 2

ER -