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