Sequent calculi and interpolation for non-normal modal and deonticlogics

From MaRDI portal

Publication:6316267

Jump to:navigation, search

DOI10.12775/LLP.2020.018zbMath1517.03018arXiv1903.11342MaRDI QIDQ6316267

Eugenio Orlandelli

Publication date: 27 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: Sequent calculi and interpolation for non-normal modal and deonticlogics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6316267&oldid=35907807"