| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 427093 | Information and Computation | 2011 | 10 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
