Intuitionistic hybrid logic: Introduction and survey

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer 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.
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind209
Udgave nummer2
Sider (fra-til)1437-1446
ISSN0890-5401
DOI
StatusUdgivet - 2011

Citer dette