|
|||||
|
|
Intuitionistic hybrid logic |
|
| Authors: | Torben Braü ner,Valeria de Paiva, |
| Affiliation: | aDepartment of Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark;bPARC 3333 Coyote Hill Road, Palo Alto, CA 94304, USA |
| Abstract: | |
| Keywords: | Hybrid logic Modal logic Intuitionistic logic Natural deduction |
| 本文献已被 ScienceDirect 等数据库收录！ | |