TY  - RPRT
TI  - Non normal logics: semantic analysis and proof theory
AU  - Jinsheng Chen
AU  - Giuseppe Greco
AU  - Alessandra Palmigiano
AU  - Apostolos Tzimoulis
PY  - 2019
DO  - 10.1007/978-3-662-59533-6_7
UR  - https://arxiv.org/abs/1903.04868
ID  - 1903.04868
ER  -