TY  - RPRT
TI  - Non-normal logics: semantic analysis and proof theory (extended version)
AU  - Jinsheng Chen
AU  - Giuseppe Greco
AU  - Alessandra Palmigiano
AU  - Apostolos Tzimoulis
PY  - 2020
UR  - https://arxiv.org/abs/2009.14449
ID  - 2009.14449
ER  -