Countermodel construction via optimal hypersequent calculi for non-normal modal logics

DOI10.1007/978-3-030-36755-8_3zbMath1485.03048OpenAlexW2995679193MaRDI QIDQ2177577

Nicola Olivetti, Tiziano Dalmonte, Elaine Pimentel, Björn Lellmann

Publication date: 6 May 2020

Full work available at URL: https://hal-amu.archives-ouvertes.fr/hal-02436312/file/DLOP_LFCS2020.pdf

zbMATH Keywords

cut eliminationhypersequentsnon-normal modal logicscountermodel construction

Mathematics Subject Classification ID

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

Related Items (2)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

This page was built for publication: Countermodel construction via optimal hypersequent calculi for non-normal modal logics