1. Alchourrón, C., Gärdenfors, P. and Makinson, D. (1985): On the logic of theory change. Journal of Symbolic Logic 50: 510- 530.
2. Andréka, H., Kurucz, Á., Németi, I., Sain, I. and Simon, A. (1996): Exactly which logics touched by the dynamic trend are decidable? In L. Pólós, M. Masuch, M. Marx (eds.), Arrow Logics and Multi-Modal Logics, Studies in Logic, Language and Information, CSLI Publications.
3. Van Benthem, J. (1983): Modal Logic and Classical Logic. Bibliopolis, Naples.
4. Technical Report;J. Van Benthem,1989
5. Van Benthem, J. (1991): Language in Action. Nort-Holland, Amsterdam.