Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;R. Arruabarrena,1999
2. Farinas, L., Herzig, A.: Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional. In: Baader, F., Schulz, K.U. (eds.) Frontiers in Combining Systems (Proc. Int. Workshop FroCos 1996). Applied Logic Series, pp. 93–102. Kluwer Academic Publisher, Dordrecht (1996)
3. Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Company, Dordrechtz (1983)
4. Fitting, M.: Basic Modal Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 365–448. Oxford University Press, Oxford (1993)
5. Gabbay, D.M.: Labelled Deductive Systems, vol. 1. Oxford University Press, Oxford (1996)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献