Author:
Bezhanishvili Guram,Holliday Wesley H.
Reference177 articles.
1. Categorical and Kripke semantics for constructive S4 modal logic;Alechina;Lecture Notes in Comput. Sci.,2001
2. Diskrete Räume;Alexandroff;Mat. Sbornik (N.S.),1937
3. A Kripke semantics for the logic of Gelfand quantales;Allwein;Studia Logica,2001
4. Provability logic;Artemov,2005
5. The development of intuitionistic logic;van Atten,2014
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献