A Theory of Hypermodal Logics: Mode Shifting in Modal Logic

详细信息

下载全文

推荐本文 |

• 作者：D. M. Gabbay
• 关键词：modal logic ; combining logic ; hypermodality ; frame completeness
• 刊名：Journal of Philosophical Logic
• 出版时间：2002
• 出版年：2002
• 期刊代码：23_00223611
• 类别：law
• 卷：31
• 期：3
• 页码：211-243
• 数据来源：sp

摘要

A hypermodality is a connective whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.