|
|||||
|
|
Intuitionistic Non-normal Modal Logics: A General Framework |
|
| Authors: | Dalmonte Tiziano Grellois Charles Olivetti Nicola |
| Affiliation: | 1.Aix Marseille Univ, Université de Toulon, CNRS, LIS, Marseille, France ; |
| Abstract: | Journal of Philosophical Logic - We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics,... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |