Intuitionistic hybrid logic: Introduction and survey
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. (C) 2011 Elsevier Inc. All rights reserved.
hybrid logic modal logic intuitionistic logic