Sequent calculi for global modal consequence relations

DOI10.1007/s11225-018-9806-8OpenAlexW2808397658MaRDI QIDQ2323632

Minghui Ma, Jinsheng Chen

Publication date: 3 September 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9806-8

zbMATH Keywords

modal logicsequent calculusglobal consequence relation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Modal logic via global consequence ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Cites Work

• Gentzen calculi for modal propositional logic
• Tools and techniques in modal logic
• Modal sequents and definability
• Using the Universal Modality: Gains and Questions
• Solution to a Problem of Goranko and Passy
• Reducing Modal Consequence Relations
• Proof Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequent calculi for global modal consequence relations