Author:
Benthem Johan van,Bezhanishvili Nick,Holliday Wesley H.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference53 articles.
1. Artemov, S. N. Davoren J. M. and Nerode. A. N. Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05. Mathematical Sciences Institute, Cornell University, 1997.
2. Semantic construction of intuitionistic logic.;Beth.;Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen,,1956
3. Bezhanishvili G. and Holliday. W. H. Locales, nuclei, and Dragalin frames. In Advances in Modal Logic, Vol. 11. Beklemishev, L. Demri, S. and Máté, A. eds, College Publications, forthcoming.
4. Blackburn, P. de Rijke M. and Venema. Y. Modal Logic. Cambridge University Press, 2001.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献