Publisher
Oxford University Press (OUP)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Atoms in infinite dimensional free sequence-set algebras;Algebra universalis;2019-10-03
2. Effective Interpolation and Preservation in Guarded Logics;ACM Transactions on Computational Logic;2016-03-28
3. Effective interpolation and preservation in guarded logics;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators;Logica Universalis;2012-12-25
5. 11 Temporal logic;Handbook of Modal Logic;2007