A Theory of Hypermodal Logics: Mode Shifting in Modal Logic
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.
Unable to display preview. Download preview PDF.
- 1.Gabbay, D. M.: Investigations in Modal and Tense Logics, Reidel, Dordrecht, 1976.Google Scholar
- 2.Gabbay, D. M.: Temporal logic and quantifier translations, to appear in U. Reyle (ed.), Festschrift for C. Rohrer, Cambridge University Press.Google Scholar
- 3.Gabbay, D. M., Hodkinson, I., and Reynolds, M.: Temporal Logic, Volume 1, Oxford University Press, 1994.Google Scholar
- 4.Gabbay, D. M., Reynolds, M., and Finger, M.: Temporal Logic, Volume 2, Oxford University Press, 2000.Google Scholar
- 5.Ohlbach, H. J.: Semantic based translation for modal logic, J. Logic Comput. 1 (1990).Google Scholar
- 6.Sahlqvist, H.: Completeness and correspondence in the first and second order semantics for modal logic, in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, North-Holland, 1975, pp. 110–143.Google Scholar
- 7.Gabbay, D. M.: Labelled Deductive Systems, Volume 1, Oxford University Press, 1996.Google Scholar