A Theory of Hypermodal Logics: Mode Shifting in Modal Logic

TY - JOUR

T1 - A Theory of Hypermodal Logics: Mode Shifting in Modal Logic

AU - Gabbay, D

PY - 2002

Y1 - 2002

N2 - A hypermodality is a connective square 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.

AB - A hypermodality is a connective square 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.

U2 - 10.1023/A:1015782031903

DO - 10.1023/A:1015782031903

M3 - Article

VL - 31

SP - 211

EP - 243

JO - JOURNAL OF PHILOSOPHICAL LOGIC

JF - JOURNAL OF PHILOSOPHICAL LOGIC

IS - 3

ER -