A Theory of Hypermodal Logics: Mode Shifting in Modal Logic |
| |
| Authors: | D. M. Gabbay |
| |
| Affiliation: | (1) Department of Computer Sciences, AF King's College, London, UK |
| |
| Abstract: | 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. |
| |
| Keywords: | modal logic combining logic hypermodality frame completeness |
| 本文献已被 SpringerLink 等数据库收录！ |
