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

DOI10.1007/978-3-030-36755-8_3MaRDI QIDQ2177577zbMATH OpenOpenAlexFDO

Authors Tiziano Dalmonte, Björn Lellmann, N. Olivetti, Elaine Pimentel

Publication date 6 May 2020

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

zbMATH Keywords

countermodel constructioncut eliminationhypersequentsnon-normal modal logics

Mathematics Subject Classification ID

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

Recommendations

• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• Countermodels from sequent calculi in multi-modal logics
• Terminating calculi and countermodels for constructive modal logics
• scientific article; zbMATH DE number 1163927
• Combining monotone and normal modal logic in nested sequents -- with countermodels
• Sequent Calculi for Normal Modal Propositional Logics
• Intuitionistic non-normal modal logics: a general framework
• Modularisation of sequent calculi for normal and non-normal modalities
• A nonmonotonic modal relevant sequent calculus
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Cited in

(7)

• Proofs and countermodels in non-classical logics
• Countermodels from sequent calculi in multi-modal logics
• scientific article; zbMATH DE number 2024633 (Why is no real title available?)
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
• Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177577)