Publisher
Springer International Publishing
Reference26 articles.
1. B. Chellas, Modal Logic: An Introduction (Cambridge University Press, Cambridge, 1980, Cresswell, M. J., 1995)
2. M. Fitting, R. Mendelsohn, First Order Modal Logic (Kluwer, Dordrecht, 1998)
3. G.E. Mints, A Short Introduction to Modal Logic, Center for the Study of Language and Information (CSLI) (Stanford University, Stanford, California, 1992)
4. S. Reyes, M. Clarke, Logic for Computer Science (Addison-Wesley, Boston, Massachusetts, 1990)
5. J. Armengol, J. Vehi, L. Trave-Massuyes, M.A. Sainz, Application of modal intervals to the generation of error-bounded envelopes. Reliable Computing 7(2), 171–185 (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献