论文标题
非正态逻辑：语义分析和证明理论（扩展版本）
Non-normal logics: semantic analysis and proof theory (extended version)
论文作者
论文摘要
我们为基本单调模态逻辑，条件逻辑CK及其许多公理扩展引入了适当的显示cyculi。这些结石是合理的，完整的，保守的，并且享受剪切消除和副构属。我们的建议在适当显示骨化的设计中应用了多类方法，从语义分析开始，该语义分析激发了从单型非正常模态逻辑到多类正常多模式逻辑的句法翻译。
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of proper display calculi, starting from a semantic analysis which motivates syntactic translations from single-type non-normal modal logics to multi-type normal poly-modal logics.
