A theory of hypermodal eogics: Mode shifting in modae eogic

Journal of Philosophical Logic

Volumn 31, Issue 3, 2002, Pages 211-243

  Gabbay, D M ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Combining logic; Frame completeness; Hypermodality; Modal logic

Indexed keywords

EID: 36849057490     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1015782031903     Document Type: Article

References (7)

1. Gabbay, D. M.: Investigations in Modal and Tense Logics, Reidel, Dordrecht, 1976.
2. Gabbay, D. M.: Temporal logic and quantifier translations, to appear in U. Reyle (ed.), Festschrift for C. Rohrer, Cambridge University Press.
3. Gabbay, D. M., Hodkinson, L, and Reynolds, M.: Temporal Logic, Volume l, Oxford University Press, 1994.
4. Gabbay, D. M., Reynolds, M., and Finger, M.: Temporal Logic, Volume 2, Oxford University Press, 2000.
5. Ohlbach, H. J.: Semantic based translation for modal logic, J. Logic Comput. 1 (1990).
6. Sahlqvist, FL: 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.
7. Gabbay, D. M.: Labelled Deductive Systems, Volume 1, Oxford University Press, 1996.