Non normal logics: semantic analysis and proof theory

DOI10.1007/978-3-662-59533-6_7MaRDI QIDQ2303583zbMATH OpenOpenAlexFDO

Authors Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Publication date 4 March 2020

Full work available at URL https://arxiv.org/abs/1903.04868

zbMATH Keywords

conditional logicmonotonic modal logicproper display calculi

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Proof analysis in non-classical logics
• Displaying modal logic
• A semantical analysis of cut-free calculi for modal logics
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Cited in

(14)

• Semi De Morgan logic properly displayed
• Sequent calculi for normal update logics
• Logicality, double-line rules, and modalities
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• scientific article; zbMATH DE number 4068840 (Why is no real title available?)
• Non-distributive logics: from semantics to meaning
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Syntactic Completeness of Proper Display Calculi
• scientific article; zbMATH DE number 7085124 (Why is no real title available?)
• scientific article; zbMATH DE number 6787709 (Why is no real title available?)
• Neighbourhood Semantics for Graded Modal Logic
• Non normal logics: semantic analysis and proof theory
• On the finite model property of non-normal modal logics
• Monotone modal logic beyond distributivity

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

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