Author:
Padmanabhan Vineet,Governatori Guido,Sattar Abdul
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Caleiro, C., Carnielli, W.A., Coniglio, M.E., Sernadas, A., Sernadas, C.: Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information 12(2), 183–211 (2003)
2. Catach, L.: Normal multimodal logics. In: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI), pp. 491–495 (1988)
3. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)
4. Finger, M., Gabbay, D.M.: Combining temporal logic systems. Notre Dame Journal of Formal Logic 37(2), 204–232 (1996)
5. Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)