Intuitionistic hybrid logic: Introduction and survey

Torben Braüner

doi:10.1016/j.ic.2011.10.001

Intuitionistic hybrid logic: Introduction and survey

Torben Braüner

Programmering, logik og intelligente systemer

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer 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.

Originalsprog	Engelsk
Tidsskrift	Information and Computation
Vol/bind	209
Udgave nummer	2
Sider (fra-til)	1437-1446
ISSN	0890-5401
DOI	https://doi.org/10.1016/j.ic.2011.10.001
Status	Udgivet - 2011

Link til dokument

10.1016/j.ic.2011.10.001

Citer dette

@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",

}

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

SN - 0890-5401

VL - 209

SP - 1437

EP - 1446

JO - Information and Computation

JF - Information and Computation

IS - 2

ER -