Intuitionistic hybrid logic: Introduction and survey |
| |
| Authors: | Torben Braüner |
| |
| Affiliation: | Programming, Logic and Intelligent Systems Research Group, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark |
| |
| 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 |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
