research
∙
01/28/2019
Intuitionistic Non-Normal Modal Logics: A general framework
We define a family of intuitionistic non-normal modal logics; they can b...
research
∙
11/06/2018