Non normal logics: semantic analysis and proof theory

DOI10.1007/978-3-662-59533-6_7zbMath1530.03077arXiv1903.04868MaRDI QIDQ6315455

Giuseppe Greco, Apostolos Tzimoulis, Jinsheng Chen, Alessandra Palmigiano

Publication date: 12 March 2019

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Non normal logics: semantic analysis and proof theory