Reference9 articles.
1. S. Artemov, J. Davoren, A. Nerode, Modal logics and topological semantics for hybrid systems, Technical Report MSI 97-05, 1997.
2. P. Blackburn, M. de Rijke, Y. Venema, Modal logic, 2001.
3. Modal characterisation theorems over special classes of frames;Dawar;Annals of Pure and Applied Logic,2009
4. Non-deterministic semantics for dynamic topological logic;Fernández-Duque;Annals of Pure and Applied Logic,2009
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献